Quantcast

[ jEdit-devel ] [jedit:bugs] #4031 Escape no longer closes docking area

classic Classic list List threaded Threaded
3 messages Options
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

[ jEdit-devel ] [jedit:bugs] #4031 Escape no longer closes docking area

Sarah

[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 [hidden email] 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.


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

[ jEdit-devel ] [jedit:bugs] #4031 Escape no longer closes docking area

Sarah

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.


[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 [hidden email] 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.


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

[ jEdit-devel ] [jedit:bugs] #4031 Escape no longer closes docking area

Robert Schwenn-3
In reply to this post by Sarah
  • status: open --> pending-invalid
  • Comment:

I'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.


[bugs:#4031] Escape no longer closes docking area

Status: pending-invalid
Group: minor bug
Created: Mon Mar 20, 2017 11:10 PM UTC by Sarah
Last Updated: Mon Mar 20, 2017 11:15 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 [hidden email] 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.


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Loading...