[ jEdit-devel ] [ jedit-Bugs-450478 ] F11 confused w/F1 assigning shortcut

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

Bugs item #450478, was opened at 2001-08-13 06:35
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=100588&aid=450478&group_id=588

Category: editor core
Group: normal bug
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Dirk Möbius (dmoebius)
Summary: F11 confused w/F1 assigning shortcut

Initial Comment:
Using jEdit 3.2pre8 plus the latest cvs code, when I 
try to assing F11 to 'Go to Console', I get a message 
that it is already bound to 'jEdit Help'.  'jEdit 
Help' actually has F1 assigned to it.  The dialog also 
reports that F12 is bound to 'jEdit Help', perhaps the 
code is just skipping the second digit?

jEdit 3.2pre8 (plus cvs code from 8/12)
Windows 2000
Sun JDK 1.3.1


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

Comment By: Ingemar Hansson (ingemarh)
Date: 2001-08-17 03:16

Message:
Logged In: YES 
user_id=238112

I've got a similar problem.
When I try to assign an unused shortcut to a function I get
the error message. 
This shortcut is already assigned to "<none>". Yea, I knew
that. That's the reason I picked it ;-)

jEdit 3.2pre8
Windows NT 4 SP5
Sun JDK 1.3.0_01

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

Comment By: Dirk Möbius (dmoebius)
Date: 2001-08-16 13:27

Message:
Logged In: YES 
user_id=9521

Sorry, my fault.

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

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