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: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/8dcd73f9852d4e5ef2bcd81a26d363bf2ffbe40d/pref-themes.js/buggy/xpfe/components/prefwindow/resources/content/pref-themes.js