From: Tristan Van Berkom Date: Tue, 2 Oct 2012 14:11:39 +0000 (+0900) Subject: Amended documentation for gtk_widget_set_size_request(). X-Git-Url: http://pileus.org/git/?a=commitdiff_plain;h=8705c59f8cfe703abbc0bbc270e27656b81ef52d;p=~andy%2Fgtk Amended documentation for gtk_widget_set_size_request(). It seems we missed updating this since GTK+3, widgets cannot be allocated less than the size they requested in thier request phase, and explicit sizes are used only to grow the size request. --- diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c index c8f8fd51d..58ad57af2 100644 --- a/gtk/gtkwidget.c +++ b/gtk/gtkwidget.c @@ -9334,9 +9334,8 @@ gtk_widget_set_usize_internal (GtkWidget *widget, * @height: height @widget should request, or -1 to unset * * Sets the minimum size of a widget; that is, the widget's size - * request will be @width by @height. You can use this function to - * force a widget to be either larger or smaller than it normally - * would be. + * request will be at least @width by @height. You can use this + * function to force a widget to be larger than it normally would be. * * In most cases, gtk_window_set_default_size() is a better choice for * toplevel windows than this function; setting the default size will @@ -9360,9 +9359,6 @@ gtk_widget_set_usize_internal (GtkWidget *widget, * If the size request in a given direction is -1 (unset), then * the "natural" size request of the widget will be used instead. * - * Widgets can't actually be allocated a size less than 1 by 1, but - * you can pass 0,0 to this function to mean "as small as possible." - * * The size request set here does not include any margin from the * #GtkWidget properties margin-left, margin-right, margin-top, and * margin-bottom, but it does include pretty much all other padding