[ jEdit-users ] Re: HyperSearch result window

[gerald Q. <ger...@ca...>]

Hi,

Still dealing with HyperSearch result, I noticed that when a
search result is focused, using the arrow keys moves the
focus in the result pane, but text area is not scrolled to
show the corresponding selected result. To say it
differently, selecting a search result with mouse works
(text is scrolled), but with the keyboard it fails.

Gerald.

> 
> This is planned, along with an improved HyperSearch
results window,
> for jEdit 4.0.
> 
> > When I use HyperSearch from HyperSearch toolbar, results of
> > the search appear in my docked window "HyperSearch results".
> > When I select a search result the corrsponding text in the
> > text edition area isn't highlighted. Why does HyperSearch
> > result selection have this behavior?
> > 

______________________________________________________
Bo=EEte aux lettres - Caramail - http://www.caramail.com