[konsole] [Bug 461085] CR: Please add an option to disable the SSH manager plugin

July Tikhonov bugzilla_noreply at kde.org
Sat Jun 3 09:03:13 BST 2023


https://bugs.kde.org/show_bug.cgi?id=461085

--- Comment #6 from July Tikhonov <july.tikh at gmail.com> ---
(In reply to tcanabrava from comment #4)
> Click on the shortcut and change it. It’s there from day one.
> > --- Comment #3 from July Tikhonov <july.tikh at gmail.com> ---
> > The plugin is annoying even when it doesn't do anything. It now occupies
> > Ctrl+Shift+F2 shortcut, which I have been happily using for something
> > else, and
> > there is no apparent way to reconfigure plugins' shortcuts.

Sorry, I guess I wasn't clear and we aren't talking about the same thing. The
plugin indeed provides some kind of changeble shortcut. I do not care about it
because until today I was fortunate to not realize that the plugins exist.

But there are also shortcuts to show/hide plugin _panels_, and they appear to
be fixed to Ctrl+Shift+F1 and Ctrl+Shift+F2 (for “Quick commands” and “SSH
Manager” respectively). They are not listed in Konsole's Settings→Configure
Keyboard Shortcuts or anywhere else I have looked. (I am using Konsole
22.13.3.)

Upon consideration, I think I will file another bug, as it is not about SSH
Manager, but about plugins in general. Sorry.

-- 
You are receiving this mail because:
You are the assignee for the bug.


More information about the konsole-devel mailing list