rem: set searchTitle(aTitle) { var splitter = document.getElementById("splSearch"); splitter.setAttribute("label", "Search" + (aTitle ? " - " + aTitle : "")); }, 
add: set progress(aPct) { document.getElementById("pmStatus").value = aPct; }, 
context:   set searchTitle(aTitle)  {    var splitter = document.getElementById("splSearch");    splitter.setAttribute("label", "Search" + (aTitle ? " - " + aTitle : ""));  },
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/2e5037068b1cdfad71a584a4f840def35e6af75e/inspector.js/clean/extensions/inspector/resources/content/inspector.js