rem: var panelBrowser = document.getElementById('web-panels-browser'); panelBrowser.webProgress.removeProgressListener(panelProgressListener); 
add: getPanelBrowser().webProgress.removeProgressListener(panelProgressListener); 
context: function unload(){  var panelBrowser = document.getElementById('web-panels-browser');  panelBrowser.webProgress.removeProgressListener(panelProgressListener);}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/8395/691b0217b61c2a19648b4ffd345085cb562d75a1/web-panels.js/clean/browser/base/content/web-panels.js