Infocatcher 9fc8f4a882 Add separate indent preferences for horizontal tabs ... Note: I think, we should cache "this.isVertical"... Only TST itself can change tab bar position, so this looks simple to implement.		2012-08-30 21:51:21 +04:00
..
lib	Don't stop animation effects for newly opened tabs accidentally. (#332)	2012-08-10 03:49:07 +09:00
autoHide.js	Fix NS_ERROR_XPC_BAD_OP_ON_WN_PROTO error while auto-shrink is enabled ( #241 )	2012-05-02 19:29:29 +09:00
browser.js	Add separate indent preferences for horizontal tabs	2012-08-30 21:51:21 +04:00
fullTooltip.js	Don't show full tooltip if TST's tooltip is disabled by user preference (#268)	2012-04-09 21:28:48 +09:00
groupTab.js	failed to store edited title of group tab (regression)	2012-01-03 05:16:50 +09:00
pseudoTreeBuilder.js	optimize: reduce use of Iterator	2012-02-05 06:31:03 +09:00
tabbarDNDObserver.js	Fix wrong live preview of moving tabs after auto-expansion while dragging	2012-08-30 09:43:23 +09:00
tabpanelDNDObserver.js	update version specific comments	2012-01-14 01:15:12 +09:00
themeManager.js	optimize: reduce use of Iterator	2012-02-05 06:31:03 +09:00
utils.js	Add separate indent preferences for horizontal tabs	2012-08-30 21:46:50 +04:00
window.js	Reset tab bar height only using left double click	2012-08-28 17:21:46 +04:00