Fixed bug #801

2015-02-18 19:23:07 +01:00
parent 46a52bed8b
commit 74d942f09b
1 changed files with 3 additions and 0 deletions
@@ -143,6 +143,9 @@
        clientHeight = (this.getScrollerElement().clientHeight / 2)
        this.scrollTo(null, (coords.top + coords.bottom)/2 - 10);
    });
+    CodeMirror.commands.save = function () {
+        doClickSave();
+    }
    </script>

    <div class="editor-bar-bottom" style="margin-top:9px;">