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