gregormi added a comment.
Yes, those shortcuts exist long time. I would like to change them for these specific reasons which I think are worth to be considered: 1. Introduce a default shortcut pair for "Next / Prev Match" which is useful and currently missing. 2. "Free" some F keys to have them available for user-defined shortcuts; for me that would be those needed for developing (run, debug, stepping, stop and what else comes in handy; probably KDevelop would also profit to have F10 and F11 freed). I think it is easier for the user to choose one of the F keys for those actions than to find a free Ctrl+... combination. At least I have those problems regularly when trying to add useful custom shortcuts. Extended shortcuts are often used in advanced editors and IDEs. I would be happy if there are other ideas that would address those issues. REPOSITORY R39 KTextEditor REVISION DETAIL https://phabricator.kde.org/D17442 To: gregormi, #kate Cc: dhaumann, ngraham, kwrite-devel, kde-frameworks-devel, hase, michaelh, bruns, demsking, cullmann, sars