[–] PetitPrince 8y ago ↗ Having the tab hiding API enabled by default means that Tab Group can finally come back and that we don't need to have a custom userChrome.css to hide the tab bar for Tree Style Tabs. [–] catach 8y ago ↗ Tab hiding [0] is separate from tab strip hiding [1] unfortunately.[0] https://developer.mozilla.org/en-US/Add-ons/WebExtensions/AP...[1] https://bugzilla.mozilla.org/show_bug.cgi?id=1332447 [–] PetitPrince 8y ago ↗ Aw snap, I though there were the same.
[–] catach 8y ago ↗ Tab hiding [0] is separate from tab strip hiding [1] unfortunately.[0] https://developer.mozilla.org/en-US/Add-ons/WebExtensions/AP...[1] https://bugzilla.mozilla.org/show_bug.cgi?id=1332447 [–] PetitPrince 8y ago ↗ Aw snap, I though there were the same.
3 comments
[ 4.6 ms ] story [ 8.3 ms ] thread[0] https://developer.mozilla.org/en-US/Add-ons/WebExtensions/AP...
[1] https://bugzilla.mozilla.org/show_bug.cgi?id=1332447