diff options
| author | Marko Pušnik <marko.pusnik@guru.si> | 2015-09-29 16:06:52 +0200 |
|---|---|---|
| committer | Marko Pušnik <marko.pusnik@guru.si> | 2015-09-29 16:06:52 +0200 |
| commit | 163dd5a445910ac7ba19e0e291d1f04c20d9861d (patch) | |
| tree | a3e1b1d6ebd07f8d0b5e54c2163f743b7a153f02 /js/codeq/prolog.js | |
| parent | 91f3b77d4743731b6f0b2f282a592752565d7d74 (diff) | |
| parent | b2983855ea01fd04a8ba53099d2d5ee7ebed31f9 (diff) | |
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-web
Diffstat (limited to 'js/codeq/prolog.js')
| -rw-r--r-- | js/codeq/prolog.js | 4 |
1 files changed, 3 insertions, 1 deletions
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), |