Terminal plugin: add default shortcut F4 for Toggle Focus
ClosedPublic

Authored by gregormi on Nov 3 2018, 8:22 PM.

Details

Summary

(Toggle Focus switches the focus between the editor component
and the Terminal Tool View.)
F4 was chosen because it is consistent with Dolphin (where F4
opens and closes the Terminal Panel) and there is no conflict with
other shortcuts.

Diff Detail

Repository
R40 Kate
Lint
Automatic diff as part of commit; lint not applicable.
Unit
Automatic diff as part of commit; unit tests not applicable.
gregormi created this revision.Nov 3 2018, 8:22 PM
Restricted Application added a project: Kate. · View Herald TranscriptNov 3 2018, 8:22 PM
Restricted Application added a subscriber: kwrite-devel. · View Herald Transcript
gregormi requested review of this revision.Nov 3 2018, 8:22 PM
gregormi edited the summary of this revision. (Show Details)Nov 3 2018, 8:24 PM
gregormi added a reviewer: Kate.
cullmann accepted this revision.Nov 4 2018, 1:21 PM
cullmann added a subscriber: cullmann.

Yep, good idea.

This revision is now accepted and ready to land.Nov 4 2018, 1:21 PM
This revision was automatically updated to reflect the committed changes.
This comment was removed by ngraham.