rem: gPrefBranch.removeObserver("", gPrefListener); document.getElementById("configTree").view = null; 
add: if (document.getElementById("configDeck").getAttribute("selectedIndex") == 1) { gPrefBranch.removeObserver("", gPrefListener); document.getElementById("configTree").view = null; } 
context: function onConfigUnload(){  gPrefBranch.removeObserver("", gPrefListener);  document.getElementById("configTree").view = null;}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/10f412211137a4cc7a19448220ac10ed3afc4838/config.js/buggy/xpfe/global/resources/content/config.js