X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fgtk-contrib%2Fgtkxpaned.c;h=7b30bfa1f58b3ab26486dd2dc8d08546ac2a7d9b;hb=0fe886a656b0ee57b4d542b7c16b3c56288b6fc6;hp=96f89ada7df785b0f3416daeb83d894820a3e8a2;hpb=f00c8490080474d40395906cb42d32b3b0c69db8;p=pspp diff --git a/lib/gtk-contrib/gtkxpaned.c b/lib/gtk-contrib/gtkxpaned.c index 96f89ada7d..7b30bfa1f5 100644 --- a/lib/gtk-contrib/gtkxpaned.c +++ b/lib/gtk-contrib/gtkxpaned.c @@ -3,6 +3,7 @@ ** 10 20 30 40 50 60 70 80 ** ** library for GtkXPaned-widget, a 2x2 grid-like variation of GtkPaned of gtk+ +** Copyright (C) 2012 Free Software Foundation, Inc. ** Copyright (C) 2005-2006 Mirco "MacSlow" Müller ** ** This library is free software; you can redistribute it and/or @@ -687,8 +688,8 @@ static void gtk_xpaned_size_request (GtkWidget* widget, { gtk_widget_size_request (xpaned->bottom_right_child, &child_requisition); - requisition->width = MAX (requisition->width, child_requisition.width); - requisition->height = MAX (requisition->height, child_requisition.height); + requisition->width = child_requisition.width; + requisition->height = child_requisition.height; } /* add 2 times the set border-width to the GtkXPaneds requisition */ @@ -2445,14 +2446,6 @@ gtk_xpaned_compute_position (GtkXPaned* xpaned, xpaned->top_left_child_size.width = top_left_child_req->width; xpaned->top_left_child_size.height = top_left_child_req->height; } - else if (top_left_child_req->width + top_right_child_req->width != 0) - { - xpaned->top_left_child_size.width = allocation->width * ((gdouble)top_left_child_req->width / (top_left_child_req->width + top_right_child_req->width)) + 0.5; - } - else if (top_left_child_req->height + top_right_child_req->height != 0) - { - xpaned->top_left_child_size.height = allocation->height * ((gdouble)top_left_child_req->height / (top_left_child_req->height + top_right_child_req->height)) + 0.5; - } else { xpaned->top_left_child_size.width = allocation->width * 0.5 + 0.5;