online editor: fix folding option

2014-01-22 18:24:51 +01:00
parent 7dd99cf3a1
commit d967e23791
1 changed files with 0 additions and 1 deletions
@@ -65,7 +65,6 @@
        height: "350px",
        showTrailingSpace: true
    });
-    editor.foldCode(CodeMirror.Pos(8, 0));

    editor.on("gutterClick", function(cm, n, gutter) {
        if (gutter !== "breakpoints" ) return;