rem: debug("Removeing observer from database."); 
add: debug("Removing observer from database."); 
context: function sidebar_overlay_destruct() {    var panels = document.getElementById('sidebar-panels');    debug("Removeing observer from database.");    panels.database.RemoveObserver(panel_observer);}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/fd71ff470d3424a16226fdcd4eeb20a60dea20ce/sidebarOverlay.js/clean/xpfe/components/sidebar/resources/sidebarOverlay.js