<table><tr><td style="">nibags created this revision.<br />nibags added reviewers: Framework: Syntax Highlighting, dhaumann, cullmann.<br />Herald added projects: Kate, Frameworks.<br />Herald added subscribers: kde-frameworks-devel, kwrite-devel.<br />nibags requested review of this revision.
</td><a style="text-decoration: none; padding: 4px 8px; margin: 0 8px 8px; float: right; color: #464C5C; font-weight: bold; border-radius: 3px; background-color: #F7F7F9; background-image: linear-gradient(to bottom,#fff,#f1f0f1); display: inline-block; border: 1px solid rgba(71,87,120,.2);" href="https://phabricator.kde.org/D27797">View Revision</a></tr></table><br /><div><strong>REVISION SUMMARY</strong><div><p>New keywords are added, this corresponds to the pull request:<br />
<a href="https://github.com/KDE/syntax-highlighting/pull/23" class="remarkup-link" target="_blank" rel="noreferrer">https://github.com/KDE/syntax-highlighting/pull/23</a></p>

<p>I also added a test file, which I obtained from: <a href="https://github.com/agda/agda/blob/master/examples/syntax/highlighting/Test.agda" class="remarkup-link" target="_blank" rel="noreferrer">https://github.com/agda/agda/blob/master/examples/syntax/highlighting/Test.agda</a></p>

<p>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: <a href="https://agda.readthedocs.io/en/latest/language/lexical-structure.html#literals" class="remarkup-link" target="_blank" rel="noreferrer">https://agda.readthedocs.io/en/latest/language/lexical-structure.html#literals</a></p>

<p>In addition, I added folded and <tt style="background: #ebebeb; font-size: 13px;">##Alerts</tt> in the comments.</p></div></div><br /><div><strong>REPOSITORY</strong><div><div>R216 Syntax Highlighting</div></div></div><br /><div><strong>BRANCH</strong><div><div>update-agda</div></div></div><br /><div><strong>REVISION DETAIL</strong><div><a href="https://phabricator.kde.org/D27797">https://phabricator.kde.org/D27797</a></div></div><br /><div><strong>AFFECTED FILES</strong><div><div>autotests/folding/test.agda.fold<br />
autotests/html/test.agda.html<br />
autotests/input/test.agda<br />
autotests/reference/test.agda.ref<br />
data/syntax/agda.xml</div></div></div><br /><div><strong>To: </strong>nibags, Framework: Syntax Highlighting, dhaumann, cullmann<br /><strong>Cc: </strong>kwrite-devel, kde-frameworks-devel, rrosch, LeGast00n, cblack, GB_2, domson, michaelh, ngraham, bruns, demsking, cullmann, sars, dhaumann<br /></div>