- Fix potentially missing tag selector splitter (with no way to restore)

- Decrease min-height of collections tree (since it doesn't seem to want to be resized all the way down)

chrome/content/zotero/overlay.js

@@ -82,7 +82,7 @@ var ZoteroPane = new function()
 	this.displayErrorMessage = displayErrorMessage;
 	
 	const DEFAULT_ZPANE_HEIGHT = 300;
-	const COLLECTIONS_HEIGHT = 125; // minimum height of the collections pane and toolbar
+	const COLLECTIONS_HEIGHT = 32; // minimum height of the collections pane and toolbar
 	
 	var self = this;
 	var titlebarcolorState, toolbarCollapseState, titleState;
@@ -314,6 +314,11 @@ var ZoteroPane = new function()
 		
 		zoteroSplitter.setAttribute('hidden', !makeVisible);
 		
+		// Make sure tags splitter isn't missing for people upgrading from <2.0b7
+		if (makeVisible) {
+			document.getElementById('zotero-tags-splitter').collapsed = false;
+		}
+		
 		// Restore fullscreen mode if necessary
 		if (makeVisible && isFullScreen()) {
 			this.fullScreen(true);
@@ -842,7 +847,7 @@ var ZoteroPane = new function()
 			}
 			// 121px seems to be enough room for the toolbar and collections
 			// tree at minimum height
-			height = height + 125;
+			height = height + COLLECTIONS_HEIGHT;
 		}
 		
 		//Zotero.debug('Setting Zotero pane minheight to ' + height);

chrome/skin/default/zotero/overlay.css

@@ -42,7 +42,7 @@ window[active="true"] #zotero-pane[fullscreenmode="true"][platform="mac"]
 }
 
 #zotero-collections-tree {
-	min-height: 80px;
+	min-height: 5.2em;
 }
 
 #zotero-collections-tree treechildren::-moz-tree-image