Piro / YUKI Hiroshi 78e4ea5526 Don't cancel the timer to hide (or collapse) the tab bar after a tab is opened or closed (#581, regression)		2013-10-30 04:30:08 +09:00
..
lib	Fix error on the initialization (#543)	2013-08-23 17:09:03 +09:00
autoHide.js	Don't cancel the timer to hide (or collapse) the tab bar after a tab is opened or closed (#581, regression)	2013-10-30 04:30:08 +09:00
base.js	Break lines after condition block of "if" statements	2013-09-17 18:17:20 +09:00
browser.js	Better compatibility with someone who change visibility of the tab bar.	2013-10-30 04:20:50 +09:00
browserUIShowHideObserver.js	Support "auto hide tab bar" feature provided by Tab Mix Plus.	2013-10-30 04:11:16 +09:00
constants.js	Prevent infinity loop around show/hide of tab bar related elements. (#574)	2013-10-30 03:36:31 +09:00
fullTooltip.js	Show the full tooltip near the original tooltip correctly, even if there are multiple screens. (#302)	2013-10-09 01:09:01 +09:00
groupTab.js	Use "&" instead of ";" as the separator of URL parameters	2013-08-21 17:36:12 +09:00
pseudoTreeBuilder.js	Update credit	2012-10-14 03:31:06 +09:00
tabbarDNDObserver.js	Respect the behaviour of "Disable detach and tear off tab" (#540)	2013-08-21 02:18:30 +09:00
tabpanelDNDObserver.js	Simplify codes to load modules lazily	2012-11-11 22:48:42 +09:00
themeManager.js	Update credit	2012-10-14 03:31:06 +09:00
utils.js	Support getShortcutOrURIAndPostData() on Firefox 25 and later.	2013-07-27 03:47:53 +09:00
window.js	Update floating tab bar when UI element is inserted/removed from the browser box (#546)	2013-10-09 01:30:52 +09:00