Re: [gedit-list] search box

["Nicolò Chieffo" <84yelo3 gmail com>]

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?
Ciao