SHIMODA Hiroshi 75e2f69552 don't shrink/hide/expand tab bar when something is dragged on the browsing area

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