rem: all_panels.clearSelection(); 
add: all_panels.treeBoxObject.selection.clearSelection(); 
context: function SelectChangeForCurrentPanels() {  // Remove the selection in the available panels list  var all_panels = document.getElementById('other-panels');  all_panels.clearSelection();  enable_buttons_for_current_panels();  enable_buttons_for_other_panels();}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/d38a0937d9c93a0a9d913e2ac781e4328bb8cc73/customize.js/clean/xpfe/components/sidebar/resources/customize.js