| Summary: | \end{gathered} not highligted correctly | ||
|---|---|---|---|
| Product: | [Applications] kile | Reporter: | Alexander Kernozhitsky <sh200105> |
| Component: | editor | Assignee: | Michel Ludwig <michel.ludwig> |
| Status: | RESOLVED DUPLICATE | ||
| Severity: | normal | CC: | nibgonz |
| Priority: | NOR | ||
| Version First Reported In: | 2.9.92 | ||
| Target Milestone: | --- | ||
| Platform: | Debian testing | ||
| OS: | Linux | ||
| Latest Commit: | Version Fixed/Implemented In: | ||
| Sentry Crash Report: | |||
| Attachments: | Highlighting bug | ||
*** This bug has been marked as a duplicate of bug 410477 *** |
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