The "Close current docking area" command - I have assigned the primary shortcut as ESCAPE. This worked until I upgraded to jEdit 5.4.0. Now, pressing Escape while the Hypersearch dock is open doesn't do anything, whether my focus is in the editing area or the docked panel. I also tried assigning an alternate shortcut to that command (C+DIVIDE) just for testing and that shortcut does work properly.
Also Ctrl+L as the alternate shortcut for "Go to line" no longer works, although the primary shortcut of Ctrl+G works. So, it seems likely that something has gone wrong with shortcuts generally and not simply one command.
I dug through the menus until I found out that "Ctrl+L" is bound to "Scroll
and center caret." Whatever I was doing in "global options - shortcuts" was
not picking this up - maybe I needed to remove and re-add it to get the
warning about duplication. So, both of my supposed "bugs" were from
unresolved duplication, if anybody needs to know.
On Mon, Mar 20, 2017 at 6:15 PM, Sarah adblockfreak@users.sf.net wrote:
Thanks Robert - that turned out to be the issue and now ESCAPE works. I'm
not sure why I didn't catch that. Hooray for simple fixes!
On Fri, Apr 14, 2017 at 3:19 PM, Robert Schwenn rschwenn@users.sf.net
wrote:
Related
Bugs:
#4031I'm pretty sure that ESCAPE is bound twice for You now, because the majority of delivered keymaps binds ESCAPE to "Select None". You should go to "Global Options -> Shortcuts" and remove this predefined binding.
I've had the same issue after migration to jEdit 5.4, though I've used the same keymap in jEdit 5.3 whithout this problem. But hey, I don't think that jEdit should have a defined way for handling competing shortcut bindings. It's up to the user to avoid this.
So, this isn't a bug.
This ticket is dependent on what keymap you are using, and no indication of which one is in the ticket so there is no way for me to reproduce this. However, Robert is correct, any time a short cut doesn't work for you, re-binding it from global options - shortcuts should show you where the conflict is and allow you to remove it. If you are still unable to bind it, then maybe the shortcut is eaten by your desktop global shortcuts.