Redundant code in gtk_propagate_event()

["Padraig O'Briain" <Padraig Obriain Sun COM>]

While looking at the the code of gtk_propagate_event() I noticed what looks like 
redundant code.

Ok to commit?

--- gtkmain.c   2001/09/21 19:58:35     1.176
+++ gtkmain.c   2001/10/04 08:24:42
@@ -1724,12 +1724,8 @@ gtk_propagate_event (GtkWidget *widget,
          
          if (!handled_event)
            {
-             window = gtk_widget_get_toplevel (widget);
-             if (window && GTK_IS_WINDOW (window))
-               {
-                 if (GTK_WIDGET_IS_SENSITIVE (window))
-                   gtk_widget_event (window, event);
-               }
+               if (GTK_WIDGET_IS_SENSITIVE (window))
+                 gtk_widget_event (window, event);
            }
                  
          handled_event = TRUE; /* don't send to widget */