diff options
| author | Benjamin Otte <otte@redhat.com> | 2014-04-30 08:47:00 +0200 |
|---|---|---|
| committer | Benjamin Otte <otte@redhat.com> | 2014-05-01 14:51:27 +0200 |
| commit | 2e2e3a5e244decf6a519fec11c5336f50ce51b77 (patch) | |
| tree | 5509238a8aecaa4a6d8ee8d75098bcdb6669197f /gtk/gtkviewport.c | |
| parent | db791ba3f5f4a9540582502255d579e43613ad17 (diff) | |
| download | gtk+-2e2e3a5e244decf6a519fec11c5336f50ce51b77.tar.gz | |
viewport: Request 2x border-width
It's nice that bugs get pointed out in code comments. Fixing them would
probably have been preferrable though.
Diffstat (limited to 'gtk/gtkviewport.c')
| -rw-r--r-- | gtk/gtkviewport.c | 5 |
1 files changed, 1 insertions, 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)); |