summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAleš Smodiš <aless@guru.si>2015-10-01 14:44:58 +0200
committerAleš Smodiš <aless@guru.si>2015-10-01 14:44:58 +0200
commit026a0d5fb64d8c0ee5eb45e545b1ac294ac0e85c (patch)
tree9f0baeb2d0acd48629559575b3b5f9cd2300d53b
parent82c30c79c7c000bef57a9de2d3f8372b4dc3f213 (diff)
parent14a6d068fa38025d04cc7ff5b1b54db066b9da59 (diff)
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-web
-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),