rem: tree.selectedIndex = 0; 
add: list.selectedIndex = 0; 
context: function uninstallSkin(){  var tree = document.getElementById("skinsTree");  var selectedSkinItem = tree.selectedItems[0];  var skinName = selectedSkinItem.getAttribute("name");  var inUse = chromeRegistry.isSkinSelected(skinName, true);  chromeRegistry.uninstallSkin(skinName, true);  if (inUse)    chromeRegistry.refreshSkins();  tree.selectedIndex = 0;}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/1e2d5d9ba4147d5ea3cc58789a6ba7f2426d0695/pref-themes.js/clean/suite/common/pref/pref-themes.js