[gtk+] viewport: Request 2x border-width

[Benjamin Otte <otte src gnome org>]

commit 2e2e3a5e244decf6a519fec11c5336f50ce51b77
Author: Benjamin Otte <otte redhat com>
Date:   Wed Apr 30 08:47:00 2014 +0200

    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 files changed, 1 insertions(+), 4 deletions(-)
---
diff --git a/gtk/gtkviewport.c b/gtk/gtkviewport.c
index 7f75bea..20838af 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));