rem: panelBrowser.setAttribute("cachedsrc", aURI); 
add: panelBrowser.setAttribute("cachedurl", aURI); gLoadCachedSrc = false; 
context: function loadWebPanel(aURI) {    var panelBrowser = document.getElementById('web-panels-browser');    panelBrowser.removeAttribute("src");    panelBrowser.setAttribute("src", aURI);    panelBrowser.setAttribute("cachedsrc", aURI);}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/797cc1670414f92244b4e47ab24db98a73ec8039/web-panels.js/clean/browser/base/content/web-panels.js