rem: var all_panels   = document.getElementById('other-panels'); 
add: var all_panels = document.getElementById('other-panels'); 
context: function sidebar_customize_destruct(){  var all_panels   = document.getElementById('other-panels');  debug("Removing observer from all_panels database.");  all_panels.database.RemoveObserver(panels_observer);}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/e0d74dbab0591d49321454ee7cde5f57910c4047/customize.js/clean/suite/common/sidebar/customize.js