[gtk+] Amended documentation for gtk_widget_set_size_request().

[Tristan Van Berkom <tvb src gnome org>]

commit 8705c59f8cfe703abbc0bbc270e27656b81ef52d
Author: Tristan Van Berkom <tristan van berkom gmail com>
Date:   Tue Oct 2 23:11:39 2012 +0900

    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.

 gtk/gtkwidget.c |    8 ++------
 1 files changed, 2 insertions(+), 6 deletions(-)
---
diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index c8f8fd5..58ad57a 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