diff --git a/src/chrome/komodo/content/komodo.p.js b/src/chrome/komodo/content/komodo.p.js index f22d1656bc..6924fac057 100644 --- a/src/chrome/komodo/content/komodo.p.js +++ b/src/chrome/komodo/content/komodo.p.js @@ -263,6 +263,8 @@ this._onDOMWindowClose = function(event) { saveWorkspaceIfNeeded("window-close"); } ko.main.runWillCloseHandlers(); + ko.prefs.setBooleanPref("komodo_normal_shutdown", true); + window.removeEventListener("DOMWindowClose", ko.main._onDOMWindowClose, true); _log.debug("<< ko.main._onDOMWindowClose"); }