Ian Gilman 67e62540bf + Removed unnecessary margin and padding from tabs and groups (was messing up layout) ... + Now compensating for padding in tabs when laying them out + Tab titles are now a single line, cut at the width of the tab (but no ellipsis yet) + Groups now have the move cursor + Tab resizing now works, and is disabled when a tab is in a group + We now have a "new tabs" group that new tabs go into (created as needed) + New layout algorithm for tabs inside a group. It's not as space efficient as the last one, but the unused space is at the bottom rather than the right side, and in general I think it behaves more like people expect. + Groups now have a minimum width when resizing + If you drag the second to last tab out of a group and don't return it to that group, the group now dissolves. + When a tab gets below a certain size, its thumbnail and close box are hidden + When a tab's title gets below a certain size, it is hidden.		2010-04-12 17:20:35 -07:00
..
jquery.js	+ Grouping now works in the original candy	2010-03-09 15:46:39 -08:00
mirror.js	+ Removed unnecessary margin and padding from tabs and groups (was messing up layout)	2010-04-12 17:20:35 -07:00
stacktrace.js	+ Got rid of Utils.logger and replaced it with Utils.log, Utils.trace and Utils.error	2010-03-03 17:21:44 -08:00
tabs.js	+ Cleaned up various close and remove routines (the close group feature wasn't working properly)	2010-03-30 11:05:53 -07:00
utils.js	+ Removed unnecessary margin and padding from tabs and groups (was messing up layout)	2010-04-12 17:20:35 -07:00