13584c712a
By this change, the size of the shrunken tab bar will saved and restored correctly. (#575) |
||
---|---|---|
.. | ||
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 |