D25805: Open/close and focus/defocus terminal using the same shortcuts as Dolphin
noreply at phabricator.kde.org
Mon Dec 9 09:16:04 GMT 2019
kfunk added subscribers: kdevelop-devel, kfunk.
kfunk added a comment.
Note: This will also create yet another conflict with KDevelop's (relatively important) "Jump to Next Outputmark" feature.
CC'ing KDevelop mailing list.
PS: I won't have time to look at this issue myself.
To: ngraham, #kate, cullmann
Cc: kfunk, kdevelop-devel, dhaumann, cullmann, kwrite-devel, domson, michaelh, ngraham, demsking, sars
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the KDevelop-devel