diff options
| author | Aleš Smodiš <aless@guru.si> | 2015-10-02 12:22:01 +0200 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-10-02 12:22:01 +0200 |
| commit | 75a8fc81c1b49a9b2ad610e801f56b3f05d13d00 (patch) | |
| tree | c72c6c273ec2266be68bcbe9f4e0b653b7d4749a /js/codemirror/prolog.js | |
| parent | d46fec9f483db0e8cf6cf5672289b6222043ee83 (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