63a72c9e62
This behaviour can be disabled (and get the old behaviour) by setting the preference "extensions.treestyletab.autoRemoveNeedlessGroupTab.lastTab" to "true". |
||
---|---|---|
.. | ||
lib | ||
autoHide.js | ||
base.js | ||
browser.js | ||
browserUIShowHideObserver.js | ||
constants.js | ||
fullTooltip.js | ||
groupTab.js | ||
pseudoTreeBuilder.js | ||
tabbarDNDObserver.js | ||
tabpanelDNDObserver.js | ||
themeManager.js | ||
utils.js | ||
window.js |