From baa4ceabba40eb7e1a100f166d7a9c57a0ded2ee Mon Sep 17 00:00:00 2001 From: Claude Date: Mon, 23 Apr 2012 19:29:43 +0200 Subject: [PATCH] toggle --- htdocs/static/js/codemirror_exec.js | 19 ++++++++----------- 1 file changed, 8 insertions(+), 11 deletions(-) diff --git a/htdocs/static/js/codemirror_exec.js b/htdocs/static/js/codemirror_exec.js index 39315c2..9247d91 100644 --- a/htdocs/static/js/codemirror_exec.js +++ b/htdocs/static/js/codemirror_exec.js @@ -6,34 +6,31 @@ CM.init = function() { CM.modes = $.parseJSON($('#codemirror_modes').text()); $enable_codemirror = $('#enable_codemirror'); - if (typeof CM.editor == 'undefined') { - CM.editor = CodeMirror.fromTextArea(document.getElementById('code'), { - lineNumbers: true, - lineWrapping: true, - }); - } - $enable_codemirror.click(function() { //todo: no rebind $('#lang').change(function() { CM.set_language(); }); - CM.toggle(); + return false; }); }; CM.toggle = function() { if (CM.enabled) { CM.editor.toTextArea(); - CM.editor = undefined; + CM.editor = undefined; CM.enabled = false; } else { - CM.init(); + if (typeof CM.editor == 'undefined') { + CM.editor = CodeMirror.fromTextArea(document.getElementById('code'), { + lineNumbers: true, + lineWrapping: true, + }); + } CM.enabled = true; } - return false; }; CM.set_language = function() {