rem: Components.interfaces.nsISupportsWString, themeName.getAttribute("name")); 
add: Components.interfaces.nsISupportsWString, str); 
context: function applyTheme(themeName){  if (themeName.getAttribute("name") == "")    return;  var chromeRegistry = Components.classes["@mozilla.org/chrome/chrome-registry;1"]    .getService(Components.interfaces.nsIChromeRegistry);  var oldTheme = false;  try {    oldTheme = !chromeRegistry.checkThemeVersion(themeName.getAttribute("name"));  }  catch(e) {  }  var promptService = Components.classes["@mozilla.org/embedcomp/prompt-service;1"].getService(Components.interfaces.nsIPromptService);  if (oldTheme) {    var title = gNavigatorBundle.getString("oldthemetitle");    var message = gNavigatorBundle.getString("oldTheme");    message = message.replace(/%theme_name%/, themeName.getAttribute("displayName"));    message = message.replace(/%brand%/g, gBrandBundle.getString("brandShortName"));    if (promptService.confirm(window, title, message)){      var inUse = chromeRegistry.isSkinSelected(themeName.getAttribute("name"), true);      chromeRegistry.uninstallSkin( themeName.getAttribute("name"), true );      // XXX - this sucks and should only be temporary.      pref.setComplexValue("general.skins.removelist." + themeName.getAttribute("name"),                           Components.interfaces.nsISupportsWString,                           true);            if (inUse)        chromeRegistry.refreshSkins();    }    return;  }  // XXX XXX BAD BAD BAD BAD !! XXX XXX  // we STILL haven't fixed editor skin switch problems  // hacking around it yet again  pref.setComplexValue("general.skins.selectedSkin",                       Components.interfaces.nsISupportsWString,                       themeName.getAttribute("name"));  var observerService = Components.classes["@mozilla.org/observer-service;1"].getService(Components.interfaces.nsIObserverService);  observerService.notifyObservers(null, "skin-selected", null);  if (promptService) {    var dialogTitle = gNavigatorBundle.getString("switchskinstitle");    var brandName = gBrandBundle.getString("brandShortName");    var msg = gNavigatorBundle.getFormattedString("switchskins", [brandName]);    promptService.alert(window, dialogTitle, msg);  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/f0d6d8712b965f68658dd56fab062282d0ac6850/navigator.js/buggy/xpfe/browser/resources/content/navigator.js