Menu
▾
▴
[ jEdit-devel ] [ jedit-Bugs-450068 ] Unable to assign shortcut keys
|
From: <no...@so...> - 2001-08-11 19:00:54
|
Bugs item #450068, was opened at 2001-08-11 09:59 You can respond by visiting: http://sourceforge.net/tracker/?func=detail&atid=100588&aid=450068&group_id=588 Category: editor core Group: normal bug Status: Closed Resolution: Duplicate Priority: 5 Submitted By: Nobody/Anonymous (nobody) Assigned to: Dirk Möbius (dmoebius) Summary: Unable to assign shortcut keys Initial Comment: Using Jedit version 3.2pre8 on jdk1.4 beta on Windows 2000 Server... When trying to assign shortcut keys, I press the key I want to assign. It shows up in the text box and below the text box it says the shortcut key is assigned to "none". Then when I click okay, I get a "Duplicate Shortcut" dialog that says the shortcut key is already assigned to "none". A screenshot is attached. ---------------------------------------------------------------------- Comment By: Bill McMilleon (mcmilwj) Date: 2001-08-11 12:00 Message: Logged In: YES user_id=241034 Same here on W2K (non-server) SP2, jdk1.3.1, 3.2pre8. ---------------------------------------------------------------------- Comment By: John Gellene (jgellene) Date: 2001-08-11 10:39 Message: Logged In: YES user_id=117073 Duplicate of bug #449029, reported fixed ---------------------------------------------------------------------- You can respond by visiting: http://sourceforge.net/tracker/?func=detail&atid=100588&aid=450068&group_id=588 |
