rem: destroyTrees(); 
add: if (console.prefs["saveLayoutOnExit"]) dispatch ("save-layout default");  destroyViews(); 
context: function destroy (){    destroyTrees();    destroyHandlers();    detachDebugger();}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/c253059afafb09ee6b27e3767bb1e487e050ba0f/venkman-static.js/buggy/extensions/venkman/resources/content/venkman-static.js