Re: [gedit-list] search box

[Paolo Borelli <pborelli katamail com>]

Il giorno sab, 25/10/2008 alle 18.05 +0200, Nicolò Chieffo ha scritto:
> Incremental search is now what I'm looking for, it's too simple :) but
> anyway it's better than the default search box.
> My propose is to move the search box widgets in a new bar over the
> status bar, that pops up when a user presses the search button:
> 
> [search text]  <- back  forward -> [X] whole words   [X] match case
> [X] wrap around
> 
> What do you think?

The search interface has been discussed at length, maybe it's not
perfect, but I am pretty happy with what we have now. I am not a big fan
of search bars at the bottom... search bars are suited for incremental
search which is ok in a browser but do not work well with an editor
(which also need replace) so the dialog version is needed for that.

For quick find I really prefer our incremental search than a bar. Note
that most of the features you mention are also available right click
menu in the incremental search entry and the way most common thing of
the ones you mention (going backward/forward) is easily done with the
arrow keys or with the mouse scroll wheel.

Ciao
	Paolo

> Ciao
>