Change Details

Users have complained that Kate's terminal doesn't use the same shortcutt as dolphin to open and close. This patch makes it do so, using the same shortcuts that dolphin uses to both open/close and also focus/de-focus: F4: Open/close Ctrl+Shift+F4: Focus/de-focus (also open if currently closed) BUG: 414587 FIXED-IN: 20.04.0 Closes T12318

Users have complained that Kate's terminal doesn't use the same shortcut as Dolphin to open and close. This patch makes it do so, using the same shortcuts that dolphin uses to both open/close and also focus/de-focus: F4: Open/close Ctrl+Shift+F4: Focus/de-focus (also open if currently closed) BUG: 414587 FIXED-IN: 20.04.0 Closes T12318

Users have complained that Kate's terminal doesn't use the same shortcutt as dDolphin to open and close. This patch makes it do so, using the same shortcuts that dolphin uses to both open/close and also focus/de-focus: F4: Open/close Ctrl+Shift+F4: Focus/de-focus (also open if currently closed) BUG: 414587 FIXED-IN: 20.04.0 Closes T12318