rem: "chrome,width=300,height=200,resizable=0,dialog=1"); 
add: "chrome,width=300,height=200,resizable=0,dialog=1,modal=1"); var device_list = document.getElementById("device_list"); while (device_list.firstChild) device_list.removeChild(device_list.firstChild); LoadModules(); 
context: function doLoad(){  window.open("load_device.xul", "loaddevice",               "chrome,width=300,height=200,resizable=0,dialog=1");}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/65c061212d2e3f9108776361db9b5d7f1f82b6b4/device_manager.js/clean/security/manager/pki/resources/content/device_manager.js