- Don't set a minimum height for the preferences. I think this was a workaround for a very old bug.

- Don't let proxy tree flex. I think this fixes Linux preferences-related issues.

chrome/content/zotero/preferences/preferences.xul

@@ -41,8 +41,7 @@ To add a new preference:
 
 -->
 <prefwindow id="zotero-prefs" title="&zotero.preferences.title;" onload="init()" onunload="Zotero_Preferences.onUnload()"
-		windowtype="zotero:pref" xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"
-		style="min-height: 600px">
+		windowtype="zotero:pref" xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
 	
 	<prefpane id="zotero-prefpane-general"
 						label="&zotero.preferences.prefpane.general;"

chrome/content/zotero/preferences/preferences_firefox.xul

@@ -101,7 +101,7 @@ To add a new preference:
 			<groupbox flex="1" id="proxyGroup">
 				<caption label="&zotero.preferences.proxies.configured;"/>
 				
-				<tree flex="1" id="proxyTree" hidecolumnpicker="true" rows="6" seltype="single"
+				<tree id="proxyTree" hidecolumnpicker="true" rows="6" seltype="single"
 						ondblclick="showProxyEditor(this.currentIndex)" onselect="document.getElementById('proxyTree-delete').disabled = undefined"
 						onkeypress="if (event.keyCode == event.DOM_VK_DELETE) { deleteProxy(); }">
 					<treecols>