[ jEdit-devel ] [ jedit-Bugs-535061 ] Numeric pad keys not working in Search/R

Bugs item #535061, was opened at 2002-03-26 19:39
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=100588&aid=535061&group_id=588

Category: search and replace
Group: severe bug
>Status: Closed
>Resolution: Fixed
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: Numeric pad keys not working in Search/R

Initial Comment:
jedit-Bugs-528834 has been fixed, but reappears in
Search/replace dialog.

Tested with JDK 1.3.1_01 on Linux Mandrake 4.1.

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

>Comment By: Slava Pestov (spestov)
Date: 2002-03-30 15:55

Message:
Logged In: YES 
user_id=2280

will be fixed in next release

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

Comment By: Nobody/Anonymous (nobody)
Date: 2002-03-26 19:43

Message:
Logged In: NO 

This is version 4.0pre8!

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

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