Various cosmetic fixes to the GTK config box: vertical alignment of

[u/mdw/putty] / unix / gtkpanel.c

diff --git a/unix/gtkpanel.c b/unix/gtkpanel.c
index 5167ead..c29fade 100644 (file)
--- a/unix/gtkpanel.c
+++ b/unix/gtkpanel.c
@@ -375,10 +375,6 @@ static void panels_size_allocate(GtkWidget *widget, GtkAllocation *alloc)
          children = children->next) {
         GtkAllocation call;
 
-        /* Only take visible widgets into account. */
-        if (!GTK_WIDGET_VISIBLE(child))
-            continue;
-
         call.x = alloc->x + border;
         call.width = alloc->width - 2*border;
         call.y = alloc->y + border;