do not propagate unhandled key events on widgets with parent==NULL twice.

Thu Mar 26 08:31:58 1998  Tim Janik  <timj@gtk.org>

        * gtk/gtkmain.c (gtk_propagate_event): do not propagate unhandled key
                events on widgets with parent==NULL twice.

gtk/gtkmain.c

@@ -1539,6 +1539,7 @@ gtk_propagate_event (GtkWidget *widget,
       handled_event = (parent &&
 		       GTK_WIDGET_IS_SENSITIVE (parent) &&
 		       gtk_widget_event (parent, event));
+      handled_event |= parent == widget;
     }
   
   /* Other events get propagated up the widget tree