Deprecate widget flag: GTK_WIDGET_VISIBLE

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

diff --git a/gtk/gtkuimanager.c b/gtk/gtkuimanager.c
index c5c7794a954ed3930f2a9a63a02fa0ccd761b032..084f1bf0aaf4cdde76ee62bb41e993ab4460b9c0 100644 (file)
--- a/gtk/gtkuimanager.c
+++ b/gtk/gtkuimanager.c
@@ -2133,7 +2133,7 @@ _gtk_menu_is_empty (GtkWidget *menu)
   cur = children;
   while (cur) 
     {
-      if (GTK_WIDGET_VISIBLE (cur->data))
+      if (gtk_widget_get_visible (cur->data))
        {
          if (!GTK_IS_TEAROFF_MENU_ITEM (cur->data) &&
              !g_object_get_data (cur->data, "gtk-empty-menu-item"))
@@ -2214,7 +2214,7 @@ update_smart_separators (GtkWidget *proxy)
                  break;
                }
            }
-         else if (GTK_WIDGET_VISIBLE (cur->data))
+         else if (gtk_widget_get_visible (cur->data))
            {
              last = NULL;
              if (GTK_IS_TEAROFF_MENU_ITEM (cur->data) || cur->data == filler)