rem: ensureWindowsAssoc(); destFile.launch(); 
add: openInEditor(destFile); 
context: GM_BrowserUI.newUserScript = function() {  var tempname = "newscript.user.js";    var source = getContentDir();  source.append("template.user.js");    var dest = Components.classes["@mozilla.org/file/directory_service;1"]        .getService(Components.interfaces.nsIProperties)        .get("TmpD", Components.interfaces.nsILocalFile);          var destFile = dest.clone().QueryInterface(Components.interfaces.nsILocalFile);  destFile.append(tempname);    if (destFile.exists()) {    destFile.remove(false);  }  source.copyTo(dest, tempname);  ensureWindowsAssoc();  destFile.launch();}
meta: 4236	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4236/c4a57cdb6e06f55571a777eab9fc9ddda927a749/browser.js/clean/src/content/browser.js