Sarah
2017-03-20 23:10:29 UTC
---
** [bugs:#4031] Escape no longer closes docking area**
**Status:** open
**Group:** minor bug
**Created:** Mon Mar 20, 2017 11:10 PM UTC by Sarah
**Last Updated:** Mon Mar 20, 2017 11:10 PM UTC
**Owner:** nobody
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.
---
Sent from sourceforge.net because jedit-***@lists.sourceforge.net is subscribed to https://sourceforge.net/p/jedit/bugs/
To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.
** [bugs:#4031] Escape no longer closes docking area**
**Status:** open
**Group:** minor bug
**Created:** Mon Mar 20, 2017 11:10 PM UTC by Sarah
**Last Updated:** Mon Mar 20, 2017 11:10 PM UTC
**Owner:** nobody
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.
---
Sent from sourceforge.net because jedit-***@lists.sourceforge.net is subscribed to https://sourceforge.net/p/jedit/bugs/
To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.