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

[Alvaro Ramirez]

Hi Mario,

> I think your patch misses if someone hits the Ctrl+F keystroke but
> it does not have the gtkhtml-sharp version needed. It will be
> presented with a useless findbar.

hmmm... shouldn't be the case. If you build against older versions of
gtkhtml, the menu items get hidden, which would prevent the key-bindings
from working (??)

#if (!GTKHTML_SHARP_3_14)
                ui ["find_separator"].Hide ();
                ui ["find_text"].Hide ();
                ui ["find_next"].Hide ();
                ui ["find_previous"].Hide ();
#endif


> We better avoid those situations

The above seems to avoid the scenario you mentioned. In any case, I've
added some more conditionals and removed the search bar from the
container altogether (when building against older gtk-html). The
downside to this is that browser.cs now has more #if's :( Have a look at
the new patches. Let me know...

Thanks,

Alvaro
-------------- 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/gtk-sharp-list/attachments/20071205/c28d442c/attachment.bin 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: mono-tools.diff
Type: text/x-patch
Size: 19661 bytes
Desc: not available
Url : http://lists.ximian.com/pipermail/gtk-sharp-list/attachments/20071205/c28d442c/attachment-0001.bin