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

classic Classic list List threaded Threaded
6 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
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

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

Alan Ezust-2
In reply to this post by Sarah
  • status: pending-invalid --> closed-works-for-me
  • Comment:

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.


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

Status: closed-works-for-me
Group: minor bug
Created: Mon Mar 20, 2017 11:10 PM UTC by Sarah
Last Updated: Fri Apr 14, 2017 08:19 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] Re: #4031 Escape no longer closes docking area

Sarah
In reply to this post by Sarah

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

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.


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 you indicated interest in
https://sourceforge.net/p/jedit/bugs/4031/

To unsubscribe from further messages, please visit
https://sourceforge.net/auth/subscriptions/


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

Status: closed-works-for-me
Group: minor bug
Created: Mon Mar 20, 2017 11:10 PM UTC by Sarah
Last Updated: Mon May 08, 2017 01:28 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] Re: #4031 Escape no longer closes docking area

Sarah
In reply to this post by Robert Schwenn-3

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

  • 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.

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 you indicated interest in
https://sourceforge.net/p/jedit/bugs/4031/

To unsubscribe from further messages, please visit
https://sourceforge.net/auth/subscriptions/


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

Status: closed-works-for-me
Group: minor bug
Created: Mon Mar 20, 2017 11:10 PM UTC by Sarah
Last Updated: Mon May 08, 2017 01:28 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...