This bug even renders Kate's --pid <pid> option dysfunctional, so there seems to be no end-user workaround for this problem. Since the KDE devs in the linked bug report above declined to do a "re-spin" and did indeed "ship Kate like this", I'd be hugely grateful if the (K)Ubuntu devs backported the above linked patch to 19.04. This bug really is unfortunate.
This bug even renders Kate's --pid <pid> option dysfunctional, so there seems to be no end-user workaround for this problem. Since the KDE devs in the linked bug report above declined to do a "re-spin" and did indeed "ship Kate like this", I'd be hugely grateful if the (K)Ubuntu devs backported the above linked patch to 19.04. This bug really is unfortunate.