diff options
author | Timotej Lazar <timotej.lazar@araneo.org> | 2015-10-05 15:32:42 +0200 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@araneo.org> | 2015-10-05 15:33:41 +0200 |
commit | 660d1b69d4551000182aa56e3b5b370db3a97e68 (patch) | |
tree | 05827e06742da57ff0c83ea62b569329fb8b2374 /js/codemirror/prolog.js | |
parent | 225716b88090c78aa8e364e372cf91b3eb53c679 (diff) |
Highlight only the border around newest hint
Diffstat (limited to 'js/codemirror/prolog.js')
0 files changed, 0 insertions, 0 deletions