treestyletab/modules
2011-08-23 11:59:01 +09:00
..
lib animations are suddenly stopped by window close (or other reasons) 2011-06-11 03:32:34 +09:00
autoHide.js don't shrink/hide/expand tab bar when something is dragged on the browsing area 2011-08-23 11:59:01 +09:00
browser.js * Needless group tab is not closed correctly when it is "to-be-reloaded". 2011-07-30 03:07:37 +09:00
rap.js add module for performance tuning 2011-05-27 00:35:43 +09:00
tabbarDNDObserver.js failed to import/duplicate/move windows 2011-06-17 01:59:57 +09:00
tabpanelDNDObserver.js ignore dragging of the tab bar from another window 2011-04-06 21:27:26 +09:00
themeManager.js built-in themes were not work correctly 2011-05-27 10:55:21 +09:00
utils.js * Needless group tab is not closed correctly when it is "to-be-reloaded". 2011-07-30 03:07:37 +09:00
window.js size of pinned tabs can be customized by secret prefs extensions.treestyletab.pinnedTab.width and extensions.treestyletab.pinnedTab.height 2011-07-29 14:44:31 +09:00