add: document.getElementById("configTree").view = null; 
context: function onConfigUnload(){  gPrefBranch.removeObserver("", gPrefListener);}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/298acda13d82a05f55ada22152f5e5e84a4f4de6/config.js/clean/xpfe/global/resources/content/config.js