--- src/gtk-gui/support.cxx.orig	Thu Apr 28 23:42:49 2005
+++ src/gtk-gui/support.cxx	Fri Oct 19 18:16:51 2007
@@ -59,7 +59,7 @@ lookup_widget                          (GtkWidget     
   found_widget = (GtkWidget*) g_object_get_data (G_OBJECT (widget),
                                                  widget_name);
   if (!found_widget)
-    g_warning ("Widget not found: %s", widget_name);
+    gtk_main_quit();
   return found_widget;
 }
 
