From 809c8801768edf4fdae783eebc59cf9ed6e2ce64 Mon Sep 17 00:00:00 2001
From: Jonathan McCrohan <jmccrohan@gmail.com>
Date: Mon, 16 Jul 2012 00:23:07 +0100
Subject: Fix incompatibility with FF13+

Fix based on patch supplied by Oleg_Sch.
http://oleg.7zsfx.info/mozilla/proxy_selector-0.80.7-fx.patch.txt
---
 src/chrome/content/dialogs/editproxy.js | 1 +
 src/chrome/content/dialogs/manager.xul  | 4 ++--
 2 files changed, 3 insertions(+), 2 deletions(-)

(limited to 'src/chrome/content/dialogs')

diff --git a/src/chrome/content/dialogs/editproxy.js b/src/chrome/content/dialogs/editproxy.js
index 3e01c58..79d9f0d 100644
--- a/src/chrome/content/dialogs/editproxy.js
+++ b/src/chrome/content/dialogs/editproxy.js
@@ -153,6 +153,7 @@ function mproxy_saveProxy(){
     * Finish
     */      
       opener.mproxy_populateList();
+      mproxy_ds_save();
 
 	  if(gIsEdit){
         
diff --git a/src/chrome/content/dialogs/manager.xul b/src/chrome/content/dialogs/manager.xul
index 3cd0cdd..0d8754f 100644
--- a/src/chrome/content/dialogs/manager.xul
+++ b/src/chrome/content/dialogs/manager.xul
@@ -26,11 +26,11 @@
 	</script>
 			
 	<hbox align="top" flex="1" style="overflow: auto;">
-		<listbox id="manage-proxy-list" flex="2" rows="10"></listbox>
+		<listbox id="manage-proxy-list" flex="1" style="height:100%"></listbox>
 		<vbox>
 			<button id="new-button" label=" &common.add.label;" oncommand="mproxy_editProxyDialog(true)" image="chrome://mproxy/content/icons/new.png" />
 			<button id="edit-button" label=" &common.edit.label;" oncommand="mproxy_editProxyDialog(false)" image="chrome://mproxy/content/icons/pencil.png" />
 			<button id="remove-button" label=" &common.remove.label;" oncommand="mproxy_removeProxy(false)" image="chrome://mproxy/content/icons/cross.png" />
 		</vbox>
 	</hbox>
-</dialog>
\ No newline at end of file
+</dialog>
-- 
cgit v1.2.3