diff options
| author | Matthias Clasen <matthiasc@src.gnome.org> | 2003-11-03 22:13:24 +0000 |
|---|---|---|
| committer | Matthias Clasen <matthiasc@src.gnome.org> | 2003-11-03 22:13:24 +0000 |
| commit | 7175a2e99c80a771628f2c46b318a6b01c7de221 (patch) | |
| tree | bf4463e7696e7637b0eeeb9161f436c9e41306f3 /gtk/gtkuimanager.c | |
| parent | f8595c79cc91afe7ed061c6ab89f37d056b0baa6 (diff) | |
| download | gtk+-7175a2e99c80a771628f2c46b318a6b01c7de221.tar.gz | |
Some leftover cleanups.
Diffstat (limited to 'gtk/gtkuimanager.c')
| -rw-r--r-- | gtk/gtkuimanager.c | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/gtk/gtkuimanager.c b/gtk/gtkuimanager.c index 0d9ec632cb..048b851269 100644 --- a/gtk/gtkuimanager.c +++ b/gtk/gtkuimanager.c @@ -1662,7 +1662,7 @@ _gtk_menu_is_empty (GtkWidget *menu) g_return_val_if_fail (menu == NULL || GTK_IS_MENU (menu), TRUE); if (!menu) - return FALSE; + return TRUE; children = gtk_container_get_children (GTK_CONTAINER (menu)); @@ -1772,10 +1772,8 @@ update_smart_separators (GtkWidget *proxy) GtkWidget *item; item = gtk_menu_get_attach_widget (GTK_MENU (parent)); - if (GTK_IS_MENU_ITEM (item)) - _gtk_action_sync_menu_visible (NULL, item, empty); - if (GTK_IS_WIDGET (filler)) - g_object_set (G_OBJECT (filler), "visible", empty, NULL); + _gtk_action_sync_menu_visible (NULL, item, empty); + g_object_set (G_OBJECT (filler), "visible", empty, NULL); } } } |