var proxybarStartFlag = true; function ProxybarStart() {
//dump("StartProxyBar start\n"); if (document.getElementById("proxypanel").getAttribute("hidden") == "false") { if (proxybarStartFlag) { ProxybarConstructProxyMenu(); // select proxy_now or (No Proxy) var pref = Components.classes["@mozilla.org/preferences;1"].createInstance(pb_nsIPref); var now = ""; try { now = pref.GetCharPref("proxybar.proxy_now"); } catch(e) {}
var menu = document.getElementById("proxybar-proxyMenu"); var menuitem = menu.getElementsByAttribute("value", now)[0];
// if there isn't menu for "now", unset proxy now = menuitem ? ProxybarSelectProxy(now) : ProxybarSelectProxy("");
// put checked mark menuitem = menu.getElementsByAttribute("value", now)[0]; menuitem.setAttribute("checked", true);