[ jEdit-devel ] [ jedit-Bugs-792158 ] Shortcut problem when showing/hiding file browser

[SourceForge.net <no...@so...>]

Bugs item #792158, was opened at 2003-08-20 22:31
Message generated for change (Settings changed) made by lanciaux
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=792158&group_id=588

>Category: editor core
Group: minor bug
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: Shortcut problem when showing/hiding file browser

Initial Comment:
I am using jEdit 4.1 final with the file browser docked on 

the left side. I have assigned a shortcut key (F2) to 

show/hide the file browser. When I press the key to 

show the browser the focus goes to the file browser 

(which is good!), but the shortcut no longer works until I 

return the focus to the textarea.



Thanks,

Jack Senechal

jack _at_ thegoldensun.com

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=792158&group_id=588