On Fri, Oct 6, 2017 at 12:15 PM, Randell Jesup <rjesup.n...@jesup.org> wrote:
> There's "publish an extension that > > lets you fiddle the width" (doable today). WebExtensions can't manipulate prefs other than the ones explicitly exposed via a WebExtension API. Only "system add-ons" have that power now. yes! I actually often cull tabs from session-restore (vertical list > > with titles!) or from about:tabs (Tab-stats extension, now broken -- > Glandium!?) > about:tabs is back! If you don't have it go to about:addons and force an update check through the gear-icon menu. It auto-updated and re-enabled itself for me sometime in the last week. I missed that one -- my number of open tabs tripled without the visibility that tool provides (especially since Tab Groups, the other one I used, is dead). -Dan Veditz _______________________________________________ dev-platform mailing list dev-platform@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-platform
