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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/088225d67a0aee0360b9b2e3382b09ac1669177f/config.js/clean/toolkit/components/viewconfig/content/config.js