diff options
| -rw-r--r-- | gtk/PlatGTK.cxx | 3 | 
1 files changed, 2 insertions, 1 deletions
diff --git a/gtk/PlatGTK.cxx b/gtk/PlatGTK.cxx index 63d0c466d..f91fbdbe0 100644 --- a/gtk/PlatGTK.cxx +++ b/gtk/PlatGTK.cxx @@ -1514,7 +1514,8 @@ G_DEFINE_TYPE(SmallScroller, small_scroller, GTK_TYPE_SCROLLED_WINDOW)  #if GTK_CHECK_VERSION(3,0,0)  static void small_scroller_get_preferred_height(GtkWidget *widget, gint *min, gint *nat) {  	GTK_WIDGET_CLASS(small_scroller_parent_class)->get_preferred_height(widget, min, nat); -	*min = 1; +	if (*min > 1) +		*min = 1;  }  #else  static void small_scroller_size_request(GtkWidget *widget, GtkRequisition *req) {  | 
