rem: chromeRegistry.selectSkin( skinName, DEBUG_USE_PROFILE ); 
add: chromeRegistry.selectSkin( skinName, DEBUG_USE_PROFILE ); 
context: function applySkin(){  var tree = document.getElementById( "skinsTree" );  var selectedSkinItem = tree.selectedItems[0];  var skinName = selectedSkinItem.getAttribute( "name" );  chromeRegistry.selectSkin( skinName, DEBUG_USE_PROFILE );   chromeRegistry.refreshSkins();}  
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/476f40a9ffe840661db8a7547c416a58355c9cd7/pref-themes.js/buggy/suite/common/pref/pref-themes.js