[kile] [Bug 170154] Kile ignores Kate highlighting priority settings

2023-01-08 Thread Thomas Braun
https://bugs.kde.org/show_bug.cgi?id=170154 Thomas Braun changed: What|Removed |Added CC|thomas.braun@virtuell-zuhau | |se.de

[kile] [Bug 170154] Kile ignores Kate highlighting priority settings

2021-03-08 Thread Justin Zobel
https://bugs.kde.org/show_bug.cgi?id=170154 --- Comment #2 from Justin Zobel --- Thank you for the bug report. As this report hasn't seen any changes in 5 years or more, we ask if you can please confirm that the issue still persists. If this bug is no longer persisting or relevant please change