[Mono-docs-list] monodoc search bar

[Alvaro Ramirez]

Hiya Mike,

> 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.

Sounds good. Attached is now gnome-desktop-sharp.diff

> 
> The other issue is one of dependency.  Is it okay for docbrowser to
> depend on bleeding edge gtkhtml-sharp? 

Should be ok. I've now made it optional. There was already a check for
bleeding edge gtkhtml-sharp (3.14) used for printing. If not present,
the search bar is disabled.

>  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.

Yup, you can build against older gtk-sharp/gnome-sharp releases, since
the search bar is now optional. Have a look at the new patches.

Thanks,

Alvaro
-------------- next part --------------
A non-text attachment was scrubbed...
Name: mono-tools.diff
Type: text/x-patch
Size: 19229 bytes
Desc: not available
Url : http://lists.ximian.com/pipermail/mono-docs-list/attachments/20071205/eaeb5c49/attachment-0002.bin 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: gnome-desktop-sharp.diff
Type: text/x-patch
Size: 2611 bytes
Desc: not available
Url : http://lists.ximian.com/pipermail/mono-docs-list/attachments/20071205/eaeb5c49/attachment-0003.bin