Manuel Reimer

Wow. Well, that's one piece of shitty interface design :rofl: I already hate how storage is implemented but I guess it is just as bad in Chrome and every Add-on...

After some serious trouble with "git subtrees" (which I hope to have resolved now) I probably finally have something that could ship with the next release: https://github.com/M-Reimer/undoclosetab/blob/master/utils/storage.js#L61-L69 Having it in...

@Gitoffthelawn there is a good chance that I ran in an edge case here. The "subtree repo" was actually created from this repo here and it may be possible that...

@anatoli26 I was asking about the JSON snippet you added. I can't find this on the add-ons documentation site. I've tested using the "Place policies.json to installation directory" method. Works...

You are close. The preference names are wrong but you are on the right way. If you really have issues after I've published the next version I may give you...

From the last: Yes. But currently not from any session prior the last.

Depends on Mozilla fixing https://bugzilla.mozilla.org/show_bug.cgi?id=1538119 Currently I have to use a workaround which makes it difficult to restore tabs from previous sessions. But it is better to be limited in...

Will keep this one as tracking bug. If Mozilla ever fixes the linked bug, it would be possible to remove the workaround that is currently needed to restore tabs without...

I would say that the name difference is big enough. I'll make the description a bit more informative. Like adding that this is just a toggle button.

Done. I've added a short description. The Addon actually does exactly what it says. It toggles the animation of GIF files. I've created this as part of my "PrefBar migration...