diff options
Diffstat (limited to '')
| -rw-r--r-- | src/chrome/content/datasource.js | 8 | ||||
| -rw-r--r-- | src/chrome/content/dialogs/editproxy.js | 1 | ||||
| -rw-r--r-- | src/chrome/content/dialogs/manager.xul | 4 | ||||
| -rw-r--r-- | src/chrome/content/proxy.js | 1 |
4 files changed, 12 insertions, 2 deletions
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){
|