add discardCurrentSession fn

7fed76ae · yann300 · ce2245e4 · 7fed76ae
Commit 7fed76ae authored Feb 08, 2018 by yann300
Hide whitespace changes
Inline Side-by-side

Showing with 7 additions and 0 deletions

editor.js src/app/editor/editor.js +7 -0

No files found.
--- a/src/app/editor/editor.js
+++ b/src/app/editor/editor.js
@@ -186,6 +186,13 @@ function Editor (opts = {}) {
    return editor.session.doc.positionToIndex(editor.getCursorPosition(), 0)
  }

+  this.discardCurrentSession = function () {
+    if (sessions[currentSession]) {
+      delete sessions[currentSession]
+      currentSession = null
+    }
+  }
+
  this.discard = function (path) {
    if (currentSession !== path) {
      delete sessions[path]