cast to GTK_WIDGET() for the gtk_widget_hide() call.

[~andy/gtk] / gtk / gtkmenu.c

diff --git a/gtk/gtkmenu.c b/gtk/gtkmenu.c
index 4e303f56c580178a3625653ba6c82c001071c068..db002aa4cf5e6b553bb411075a6a0760f810b362 100644 (file)
--- a/gtk/gtkmenu.c
+++ b/gtk/gtkmenu.c
@@ -1673,7 +1673,7 @@ gtk_menu_set_tearoff_state (GtkMenu  *menu,
        }
       else
        {
-         gtk_widget_hide (menu);
+         gtk_widget_hide (GTK_WIDGET (menu));
          gtk_widget_hide (menu->tearoff_window);
          gtk_menu_reparent (menu, menu->toplevel, FALSE);
          gtk_widget_destroy (menu->tearoff_window);