From 5e4a185e9d8db20d42b4d4a25d4bc9d1ce736b78 Mon Sep 17 00:00:00 2001 From: Matt Pass Date: Wed, 7 Aug 2013 18:23:52 +0100 Subject: [PATCH] Add a results bar to the editor --- editor.php | 2 ++ 1 file changed, 2 insertions(+) diff --git a/editor.php b/editor.php index cf1b6e8..4820bd7 100644 --- a/editor.php +++ b/editor.php @@ -288,6 +288,8 @@ var codeFoldTag = CodeMirror.newFoldFunction(CodeMirror.tagRangeFinder,null,"+", var codeFoldBrace = CodeMirror.newFoldFunction(CodeMirror.braceRangeFinder,null,"+","-",false); + + \ No newline at end of file