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 | |
parent | d46fec9f483db0e8cf6cf5672289b6222043ee83 (diff) |
Prepend instead of append new hints and bold the first shown hint.
Diffstat (limited to 'js/codemirror')
0 files changed, 0 insertions, 0 deletions