[Gtk-sharp-list] monodoc search bar

[Alvaro A. Ramirez]

Hi all,

Picked up monodoc recently and noticed one cannot search within the
current page. This is quite useful when looking up APIs. In any case,
I've added a little bar (similar to epiphany's) to search within the
current tab.

Attached is a patch for mono-tools. gnome-sharp also needs to be patched
to bind the search methods in gtkhtml. Comments? Suggestion? Am I way
off here? ;)

Cheers,

Alvaro

ps. The search bar is currently disabled when using gecko renderer. I
plan on adding search to GeckoHtmlRender as well.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: gnome-sharp.diff
Type: text/x-patch
Size: 2419 bytes
Desc: not available
Url : http://lists.ximian.com/pipermail/gtk-sharp-list/attachments/20071202/e9e3434d/attachment-0002.bin 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: mono-tools.diff
Type: text/x-patch
Size: 18506 bytes
Desc: not available
Url : http://lists.ximian.com/pipermail/gtk-sharp-list/attachments/20071202/e9e3434d/attachment-0003.bin