Micha,
No problem, thanks for checking that out and letting me know...
Randy Kramer
On Tuesday, October 28, 2014 06:40:05 AM Micha Lenk wrote: > On 28.10.2014 11:11, Randy Kramer wrote: > > The bug is kde/kate bug 112888, at > > https://bugs.kde.org/show_bug.cgi?id=112888. > > Ok, apparently there is no source code commit attached to that bug. So > finding the relevant changes in the source code is probably not exactly > easy... Sorry, didn't help...
|