[Padre-dev] about find & search dialogs

[Jerome Quelin]

hi there,

i've finished the non-intrusive incremental search panel à-la firefox.

it works quite well, and supports the following features:
>  features:
>  - non intrusive search box (can be hidden at will)
>  - incremental search
>  - works in both directions
>  - search can be case sensitive or not
>  - search can be regex-driven or not
>  - fetch/store config values for options


it currently resides in experimental menu, with f4/shift+f4 hotkeys. i
propose to move it mainstream and make it the default search, hijacking
current f3/shift+f3 hotkeys.

the existing find dialog would then be either kept as-is with ctrl+f, or
moved to a replace action (ctrl+r or ctrl+h) since it doesn't do
anything more than the incremental search.

==> what do you think?

waiting for your comments,
jérôme 
-- 
jquelin at gmail.com