rem: document.getElementById('webpanels-browser').setAttribute("src", "chrome: 
add: var panelBrowser = document.getElementById('webpanels-browser'); if (gLoadPlaceHolder) panelBrowser.setAttribute("src", "chrome: 
context: function loadPlaceholderPage() {    document.getElementById('webpanels-browser').setAttribute("src", "chrome://browser/content/web-panels.xml");}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/568ed646bbbfa35fe6f7f172ea85e4959ea2d1d8/web-panels.js/buggy/browser/base/content/web-panels.js