Piro / SHIMODA Hiroshi 6bab97a38f * we couldn't resize shrunken tab bar by mouse drag ... * now we can prevent auto-show/hide of the tab bar by pressing shift key		2012-01-24 03:35:48 +09:00
..
lib	image size was not applied correctly	2012-01-21 00:33:19 +09:00
autoHide.js	* we couldn't resize shrunken tab bar by mouse drag	2012-01-24 03:35:48 +09:00
browser.js	revert changes on 4636f201bc (in the horizontal tab bar, tabs should be stacked always)	2012-01-18 11:58:12 +09:00
fullTooltip.js	drop Firefox 3.6 support	2012-01-13 17:38:12 +09:00
groupTab.js	failed to store edited title of group tab (regression)	2012-01-03 05:16:50 +09:00
pseudoTreeBuilder.js	now tabs can be closed from full tooltips	2011-12-10 02:35:19 +09:00
tabbarDNDObserver.js	reduce obsolete version-specific logic and comments	2012-01-14 01:30:06 +09:00
tabpanelDNDObserver.js	update version specific comments	2012-01-14 01:15:12 +09:00
themeManager.js	remove obsolete codes	2012-01-13 20:17:16 +09:00
utils.js	don't hide doorhangar even if the tab is restored after the doorhangar is shown	2012-01-21 00:35:53 +09:00
window.js	remove module for optimization	2012-01-14 01:20:43 +09:00