https://bugs.kde.org/show_bug.cgi?id=408297
Bug ID: 408297
Summary: \end{gathered} not highligted correctly
Product: kile
Version: 2.9.92
Platform: Debian testing
OS: Linux
Status: REPORTED
Severity: normal
Priority: NOR
Component: editor
Assignee: michel.lud...@kdemail.net
Reporter: sh200...@mail.ru
Target Milestone: ---
Created attachment 120567
--> https://bugs.kde.org/attachment.cgi?id=120567&action=edit
Highlighting bug
SUMMARY
See the screenshot attached. On line 21, \end{gathered} is highlighted with two
different colors.
SOFTWARE/OS VERSIONS
Linux/KDE Plasma:
(available in About System)
KDE Plasma Version: 5.14.5
KDE Frameworks Version: 5.54.0
Qt Version: 5.11.3
--
You are receiving this mail because:
You are watching all bug changes.
