rem: chromeRegistry.selectSkin(themeName.getAttribute("name"), true); 
add: chromeRegistry.selectSkin(themeName.getAttribute("name"), true); 
context: function applyTheme(themeName){  var chromeRegistry = Components.classes["@mozilla.org/chrome/chrome-registry;1"]                                 .getService(Components.interfaces.nsIChromeRegistry);  chromeRegistry.selectSkin(themeName.getAttribute("name"), true);   chromeRegistry.refreshSkins();}  
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/f28378fc95b52edbfb29c89faf2ee1177996c268/navigator.js/clean/xpfe/browser/resources/content/navigator.js