summaryrefslogtreecommitdiff
path: root/js/codemirror/prolog.js
diff options
context:
space:
mode:
authorAleš Smodiš <aless@guru.si>2015-10-02 12:22:01 +0200
committerAleš Smodiš <aless@guru.si>2015-10-02 12:22:01 +0200
commit75a8fc81c1b49a9b2ad610e801f56b3f05d13d00 (patch)
treec72c6c273ec2266be68bcbe9f4e0b653b7d4749a /js/codemirror/prolog.js
parentd46fec9f483db0e8cf6cf5672289b6222043ee83 (diff)
Prepend instead of append new hints and bold the first shown hint.
Diffstat (limited to 'js/codemirror/prolog.js')
0 files changed, 0 insertions, 0 deletions