summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@araneo.org>2015-10-01 14:44:23 +0200
committerTimotej Lazar <timotej.lazar@araneo.org>2015-10-01 14:44:23 +0200
commit14a6d068fa38025d04cc7ff5b1b54db066b9da59 (patch)
tree9dee6e191faa4943e073080ba1ad6e6aba1d68aa
parent02dd8336417cb89500905e98f954b9c97111096b (diff)
Use four-space indents for Prolog
-rw-r--r--js/codeq/prolog.js1
1 files changed, 1 insertions, 0 deletions
diff --git a/js/codeq/prolog.js b/js/codeq/prolog.js
index c549f09..d2d521f 100644
--- a/js/codeq/prolog.js
+++ b/js/codeq/prolog.js
@@ -261,6 +261,7 @@
jqHints = jqInfo.find('.hints'),
editor = codeq.makeEditor(jqEditor[0], {
mode: 'prolog',
+ indentUnit: 4,
value: currentSolution || ''
}),
activityHandler = makeActivityHandler(editor, problemDef.id),