Ian Gilman 947754f10b + 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
..
utils.jsm	+ Removed unnecessary margin and padding from tabs and groups (was messing up layout)	2010-04-12 17:20:35 -07:00