rem: 'chrome,width=540,height=360,resizable=yes'); 
add: 'chrome,height=400,centerscreen,resizable=yes,dialog=no'); 
context: function openDeviceManager(){    //check for an existing deviceManger window and focus it; it's not application modal    const kWindowMediatorContractID = "@mozilla.org/appshell/window-mediator;1";    const kWindowMediatorIID = Components.interfaces.nsIWindowMediator;    const kWindowMediator = Components.classes[kWindowMediatorContractID].getService(kWindowMediatorIID);    var lastCertManager = kWindowMediator.getMostRecentWindow("mozilla:devicemanager");    if (lastCertManager)      lastCertManager.focus();    else {      window.open('chrome://pippki/content/device_manager.xul',  "devmgr",                  'chrome,width=540,height=360,resizable=yes');    }}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/2a9620c30065156e96d9655225e3324af503cc3b/pref-security.js/clean/security/manager/pki/resources/content/pref-security.js