On 11/07/2011 02:28 PM, Enrico Tröger wrote:
On Mon, 07 Nov 2011 01:00:49 -0800, Matthew wrote:
Hi,
I actually have a plugin I've been working on that does exactly that.
It's a really simplified search bar that pops-up under the editor
window and it's basically a clone of Firefox's find bar. The only
In what way this is better than the search field in the toolbar?
Just curious.
Navigation (next/prev), highlighting all matches, and case-sensitive
matching (not sure toolbar search supports these?). It's basically
somewhere between the find dialog and the toolbar search field
feature-wise, but in a "better" location ... right below the the editor
where your attention is probably already focused, and it can be shown
and hidden with keybindings.
Cheers,
Matthew Brush
_______________________________________________
Geany-devel mailing list
Geany-devel@uvena.de
https://lists.uvena.de/cgi-bin/mailman/listinfo/geany-devel
