Bug 408297 - \end{gathered} not highligted correctly
Summary: \end{gathered} not highligted correctly
Status: RESOLVED DUPLICATE of bug 410477
Alias: None
Product: kile
Classification: Applications
Component: editor (other bugs)
Version First Reported In: 2.9.92
Platform: Debian testing Linux
: NOR normal
Target Milestone: ---
Assignee: Michel Ludwig
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2019-06-04 14:42 UTC by Alexander Kernozhitsky
Modified: 2019-08-07 07:50 UTC (History)
1 user (show)

See Also:
Latest Commit:
Version Fixed/Implemented In:
Sentry Crash Report:

Attachments
Highlighting bug (14.50 KB, image/png)
2019-06-04 14:42 UTC, Alexander Kernozhitsky 		Details
View All Add an attachment

Note You need to log in before you can comment on or make changes to this bug.
Description Alexander Kernozhitsky 2019-06-04 14:42:45 UTC 
Created attachment 120567 [details]
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
Comment 1 Nibaldo G. 2019-08-07 07:50:00 UTC 

*** This bug has been marked as a duplicate of bug 410477 ***