From 2e2e3a5e244decf6a519fec11c5336f50ce51b77 Mon Sep 17 00:00:00 2001 From: Benjamin Otte Date: Wed, 30 Apr 2014 08:47:00 +0200 Subject: [PATCH] viewport: Request 2x border-width It's nice that bugs get pointed out in code comments. Fixing them would probably have been preferrable though. --- gtk/gtkviewport.c | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/gtk/gtkviewport.c b/gtk/gtkviewport.c index 7f75bea9a0..20838af1ec 100644 --- a/gtk/gtkviewport.c +++ b/gtk/gtkviewport.c @@ -1025,10 +1025,7 @@ gtk_viewport_get_preferred_size (GtkWidget *widget, child = gtk_bin_get_child (GTK_BIN (widget)); - /* XXX This should probably be (border_width * 2); but GTK+ has - * been doing this with a single border for a while now... - */ - minimum = gtk_container_get_border_width (GTK_CONTAINER (widget)); + minimum = 2 * gtk_container_get_border_width (GTK_CONTAINER (widget)); context = gtk_widget_get_style_context (GTK_WIDGET (widget)); state = gtk_widget_get_state_flags (GTK_WIDGET (widget));