https://bugs.kde.org/show_bug.cgi?id=397956
--- Comment #10 from Dominik Haumann <dhaum...@kde.org> --- Thanks to all for you detailed investigation. PS: Not, most things are not even obvious for "Kate developers", whatever that means :-) A Kate developer is someone who contributes to Kate, that includes you, Lothar :-) -- You are receiving this mail because: You are watching all bug changes.