+ 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)

browser/base/content/tabview/modules/utils.jsm

@@ -195,7 +195,13 @@ var Utils = {
   getMilliseconds: function() {
   	var date = new Date();
   	return date.getTime();
-  }     
+  },
+  
+  // ___ Misc
+  isJQuery: function(object) {
+    // TODO: need more robust way 
+    return (object && typeof(object.fadeIn) == 'function' ? true : false);
+  }   
 };
 
 window.Utils = Utils;