https://bugs.kde.org/show_bug.cgi?id=399320
--- Comment #8 from Igor Kushnir <[email protected]> --- Not sure whether this bug had been fixed at some point. But it either returned or became much more prevalent (always reproducible) since KTextEditor version 6.12.0. Reverting https://commits.kde.org/ktexteditor/77cbafd60690de3cc7a6d8b33388501dd10257dc restores highlighting after reloading. I'll investigate and try to adapt KDevelop to this KTextEditor change. -- You are receiving this mail because: You are watching all bug changes.
