[Gtk-sharp-list] [Mono-docs-list] monodoc search bar

[Mike Kestner]

On Sun, 2007-12-02 at 18:26 +0000, Alvaro A. Ramirez wrote:

> 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? ;)

Because of some API stability issues, we will be moving gtkhtml-sharp
from gnome-sharp to the new gnome-desktop-sharp module in the next
release cycle.  This patch might be better applied against that module.

The other issue is one of dependency.  Is it okay for docbrowser to
depend on bleeding edge gtkhtml-sharp?  If not, you will probably need
to make this feature optional via configure magic to allow building
against older gtk-sharp/gnome-sharp releases.  At the very least, you
need to bump the configure version check in mono-tools to identify the
new dependency.

-- 
Mike Kestner <mkestner at novell.com>