D27797: Agda: keywords updated to 2.6.0 and fix float points
noreply at phabricator.kde.org
Tue Mar 3 06:38:54 GMT 2020
nibags created this revision.
nibags added reviewers: Framework: Syntax Highlighting, dhaumann, cullmann.
Herald added projects: Kate, Frameworks.
Herald added subscribers: kde-frameworks-devel, kwrite-devel.
nibags requested review of this revision.
New keywords are added, this corresponds to the pull request:
I also added a test file, which I obtained from: https://github.com/agda/agda/blob/master/examples/syntax/highlighting/Test.agda
When I saw the test file, I noticed some problems in the highlighting of floating point. So I fixed this, according to the lexical described in the Agda documentation: https://agda.readthedocs.io/en/latest/language/lexical-structure.html#literals
In addition, I added folded and `##Alerts` in the comments.
R216 Syntax Highlighting
To: nibags, #framework_syntax_highlighting, dhaumann, cullmann
Cc: kwrite-devel, kde-frameworks-devel, rrosch, LeGast00n, cblack, GB_2, domson, michaelh, ngraham, bruns, demsking, cullmann, sars, dhaumann
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the KWrite-Devel