FYI, I forwarded your suggestions to:
<http://bugzilla.gnome.org/show_bug.cgi?id=343186>
with a patch for the issue causing the build failure.-- Loïc Minier <[EMAIL PROTECTED]> "You can gtk_main_run, but you can't gtk_widget_hide." --danw, 19-jul-04
