diff --git a/chrome/content/zotero/browser.js b/chrome/content/zotero/browser.js index a4eca8d3cb..c701e5cf3f 100644 --- a/chrome/content/zotero/browser.js +++ b/chrome/content/zotero/browser.js @@ -103,7 +103,7 @@ var Zotero_Browser = new function() { Zotero_Browser.browserData = new Object(); Zotero_Browser._scrapePopupShowing = false; - Zotero.Ingester.ProxyMonitor.init(); + Zotero.Proxies.init(); Zotero.Ingester.MIMEHandler.init(); Zotero.Cite.MIMEHandler.init(); Zotero.Translate.init(); diff --git a/chrome/content/zotero/preferences/preferences.js b/chrome/content/zotero/preferences/preferences.js index 4cc05895b8..b8f92d18f9 100644 --- a/chrome/content/zotero/preferences/preferences.js +++ b/chrome/content/zotero/preferences/preferences.js @@ -22,6 +22,7 @@ var openURLServerField; var openURLVersionMenu; +var proxies; function init() { @@ -32,6 +33,7 @@ function init() } refreshStylesList(); + refreshProxyList(); populateQuickCopyList(); updateQuickCopyInstructions(); initSearchPane(); @@ -930,8 +932,6 @@ function refreshStylesList(cslID) { var styleData = Zotero.DB.query(sql); if (!styleData) return; - Zotero.debug("ASKED FOR "+cslID); - var selectIndex = false; for (var i=0; i a.scheme) { + return 1; + } + + return 0; + }); + + // erase old children + var treechildren = document.getElementById('proxyTree-rows'); + while (treechildren.hasChildNodes()) { + treechildren.removeChild(treechildren.firstChild); + } + + // add proxies to list + for (var i=0; i @@ -344,7 +345,7 @@ To add a new preference: -