https://bugs.kde.org/show_bug.cgi?id=411965 --- Comment #40 from Christoph Cullmann <cullmann at kde.org> --- I cherry-picked the Kate change to 19.08. I will wait for the Konsole devs to judge if the other change is OK. -- You are receiving this mail because: You are the assignee for the bug.