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/3ebea1b426d3cf5acdd5d07b3da22d969f2b0f9e/pref-themes.js/buggy/xpfe/components/prefwindow/resources/content/pref-themes.js