From 809c8801768edf4fdae783eebc59cf9ed6e2ce64 Mon Sep 17 00:00:00 2001 From: Jonathan McCrohan 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') 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 @@ - +