context: function prefStartup() {    keyInitHandler();    /* Pre select the general pane */     gPanelSelected=document.getElementById("general-pane");    gToolbarButtonSelected=document.getElementById("general-button");    gToolbarButtonSelected.className="base-button prefselectedbutton";  // local to preferences.css (may have to be promoted minimo.css)    /* This should be moved to the XUL, the list of pref items.  */     var regPrefElements= new Array ( 'browserStartupHomepage', 'enableImages', 'ssr', 'sitessr','skey', 'dumpJS', 'UseProxy', 'networkProxyHTTP', 'networkProxyHTTP_Port', 'browserDisplayZoomUI', 'browserDisplayZoomContent'  );    /* Initialize the pref service instance */     try {      gPref = Components.classes["@mozilla.org/preferences-service;1"]                         .getService(Components.interfaces.nsIPrefBranch);    } catch (ignore) { alert(ignore)}    syncPrefLoadDOM(regPrefElements);    syncUIZoom(); // from common.js }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/111b754031f26a8a59d47f6e3ae0d45137dc9024/preferences.js/clean/minimo/chrome/content/preferences/preferences.js