4 ms·
Better say "had". They'll disappear in some months, unless you stick with ESR (which has expiry date, AFAIK in 2018Q2)
by drdaeman 9y ago
Better say "had". They'll disappear in some months, unless you stick with ESR (which has expiry date, AFAIK in 2018Q2)
- konart 9y agoI'm pretty sure there will an alternative. Panels API should allow building a replacement.
- lopan 9y agoExtensions for tree style and vertical tabs: https://addons.mozilla.org/en-US/firefox/addon/tree-style-tab/ https://addons.mozilla.org/en-US/firefox/addon/tree-style-ta... https://addons.mozilla.org/en-US/firefox/addon/vertical-tabs-simplified/ https://addons.mozilla.org/en-US/firefox/addon/vertical-tabs...
- creatonez 9y agoHave you seen Mozilla's "test pilot" collection of addons? They're experimenting with adding vertical tabs into Firefox: https://testpilot.firefox.com/experiments/tab-center/ https://testpilot.firefox.com/experiments/tab-center/ It seems Mozilla is very much aware of what will disappear when WebExtensions becomes the only extension API, and what will need to happen to replace it.
- j605 9y agoThat looks very similar what I saw in vivado. Trying it out now, thanks!