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/datasource.js        | 8 ++++++++
 src/chrome/content/dialogs/editproxy.js | 1 +
 src/chrome/content/dialogs/manager.xul  | 4 ++--
 src/chrome/content/proxy.js             | 1 +
 4 files changed, 12 insertions(+), 2 deletions(-)

(limited to 'src/chrome/content')

diff --git a/src/chrome/content/datasource.js b/src/chrome/content/datasource.js
index e31a1ec..76d73cf 100644
--- a/src/chrome/content/datasource.js
+++ b/src/chrome/content/datasource.js
@@ -39,6 +39,14 @@ function mproxy_ds_initDataSource(){
 	}catch(err){ throw "(mproxy_ds_initDataSource)\n" + err; }
 }
 
+//Save RDF
+function mproxy_ds_save(){
+	mproxy_ds_initDataSource();
+	try{
+		gSProxyDs.QueryInterface(Components.interfaces.nsIRDFRemoteDataSource).Flush();
+	}catch(err){ throw "(mproxy_ds_save)\n" + err; }
+}
+
 //Add RDF Observer
 function mproxy_ds_addObserver(oObserver){
 	mproxy_ds_initDataSource();
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>
diff --git a/src/chrome/content/proxy.js b/src/chrome/content/proxy.js
index 85664dc..c0f7d01 100644
--- a/src/chrome/content/proxy.js
+++ b/src/chrome/content/proxy.js
@@ -746,6 +746,7 @@ function mproxy_removeProxy(){
 		
 		//Update List
 			mproxy_populateList();
+			mproxy_ds_save();
 			setTimeout("mproxy_setProxy();", 300);
 	}
 	catch(err){
-- 
cgit v1.2.3