commit | f469cc2ebe95327aad72bb1e3644d4e5606926b5 | [log] [tgz] |
---|---|---|
author | Paladox none <thomasmulhall410@yahoo.com> | Fri Dec 29 16:12:22 2017 +0000 |
committer | Paladox none <thomasmulhall410@yahoo.com> | Tue Jan 02 21:55:45 2018 +0000 |
tree | ca8f96f36e777f8360d59f7a7128423f61cb3d22 | |
parent | f72905bb83cb9d97781da110bd3ad88c2193ed7e [diff] |
Support syntax highlighting Also maps the API preferences to proper codemirror properties... See https://github.com/GerritCodeReview/gerrit/blob/6c1a52b8698d1ad392c590e7b515f2b5668e73f4/gerrit-gwtui/src/main/java/com/google/gerrit/client/editor/EditScreen.java#L555 Change-Id: Icc222cde89eff7a0992fbcaaf8e7bac560347c18