add:  if (console.prefs["saveSettingsOnExit"]) { dispatch ("save-settings", {settingsFile: console.prefs["settingsFile"]}); } 
context: function destroy (){    if (console.prefs["saveLayoutOnExit"])        dispatch ("save-layout default");    delete console.currentEvalObject;    delete console.jsdConsole;    destroyViews();    destroyHandlers();    destroyPrefs();    detachDebugger();}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/b0b8cec04bd582c27a41817979fe87561132d01d/venkman-static.js/clean/extensions/venkman/resources/content/venkman-static.js