rem: chromeRegistry.selectSkin( skinName, DEBUG_USE_PROFILE ); chromeRegistry.refreshSkins(); 
add: if (!chromeRegistry.isSkinSelected(skinName, DEBUG_USE_PROFILE)) { chromeRegistry.selectSkin( skinName, DEBUG_USE_PROFILE ); chromeRegistry.refreshSkins(); } 
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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/e8d0db5387ec0942469d457c500ecd4c681171b3/pref-themes.js/clean/suite/common/pref/pref-themes.js