1. 2004-07-31 Re: [ jEdit-devel ] Arrow keys in incremental search jedit-dev Slava Pestov 2. 2004-07-31 [ jEdit-devel ] Arrow keys in incremental search bar jedit-dev Trevor Harmon