From b2983855ea01fd04a8ba53099d2d5ee7ebed31f9 Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@araneo.org>
Date: Tue, 29 Sep 2015 14:15:28 +0200
Subject: Add a statusbar to the editor widget

---
 js/codeq/prolog.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'js/codeq/prolog.js')

diff --git a/js/codeq/prolog.js b/js/codeq/prolog.js
index 640aa99..87ac353 100644
--- a/js/codeq/prolog.js
+++ b/js/codeq/prolog.js
@@ -259,7 +259,9 @@
             jqEditor = jqCode.find('.code_editor'),
             jqTerminal = jqConsole.find('.console'),
             jqHints = jqInfo.find('.hints'),
-            editor = CodeMirror(jqEditor[0], { cursorHeight: 0.85, lineNumbers: true, matchBrackets: true }),
+            editor = codeq.makeEditor(jqEditor[0], {
+                mode: 'prolog'
+            }),
             activityHandler = makeActivityHandler(editor, problemDef.id),
             terminal = makePrologTerminalHandler(jqTerminal, editor, problemDef.id, activityHandler),
             hinter = codeq.makeHinter(jqHints, jqEditor, editor, 'prolog_hints', problemDef.hint, commonHints, problemDef.plan),
-- 
cgit v1.2.1