Ian Gilman 1b205f401a + Removed search box ... + It's no longer possible to accidentally launch into a tab by dragging the mouse and ending up on a tab. Same for close boxes + It's no longer possible to add a tab to a group twice (by dragging it around inside the group) + When a tab inside a group is closed, it's removed from the group. If it's the last in the group, the group goes away + Refactored mirror code to make mirror objects first-class citizens + Added a utility routine for determining if an object is a jQuery object (couldn't find one in jQuery itself)		2010-03-24 14:38:23 -07:00
..
modules	+ Removed search box	2010-03-24 14:38:23 -07:00