Re: [ jEdit-devel ] Wanted: Ability to Use Arrow Keys When Editing the Search Bar

[Randall R S. <rrs...@cr...>]

Slava,

At 10:05 2003-04-01, Slava Pestov wrote:
>If incremental search is on, this is desired behavior... so that I can do C+,
><search string> <any other editing action>. It makes navigation of the buffer
>very quick. If HyperSearch is selected, the arrow keys work as expected.

Well, that's a fine argument, but if I make typo, especially adjacent 
to a punctuation characters (which can be pretty narrow), clicking in 
the right place is pretty difficult. Period, comma, colon, semicolon, 
exclamation point, apostrophe all create a real problem for mouse selection.

Personally, I'd prefer to have to click ESC to return keyboard focus to 
the editing buffer.

Hypersearch in the Search Bar is not an option for me. It's never what I want.

 From a pragmatic standpoint, a fixed-width font in the Search Bar 
would help somewhat, 'cause then I could at least use the mouse to 
correct typos.

Randall Schulz


>On April 1, 2003 12:41 pm, Randall R Schulz wrote:
> > Hi,
> >
> > I'd really like to be able to use the arrow keys in the Search Bar, but
> > even when there's a flashing cursor there and it is the destination for
> > typed input, using the arrow keys moves the selection in the current
> > editing buffer, not the insertion point in the Search Bar.
> >
> > Is there a way I'm overlooking to get arrow keys to be directed to the
> > Search Bar when it has keyboard focus?
> >
> > I imagine opinions differ, but I think of this as a bug.
> >
> > Randall Schulz