From cb8f2ef3fd7b99053165cdf597d3950e83fadb85 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 27 Aug 2015 15:28:09 -0600 Subject: [PATCH] GTK+ 3: fix auto-resize of `message%` --- gui-lib/mred/private/wx/gtk/window.rkt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/gui-lib/mred/private/wx/gtk/window.rkt b/gui-lib/mred/private/wx/gtk/window.rkt index ce3442c9..6d37f75e 100644 --- a/gui-lib/mred/private/wx/gtk/window.rkt +++ b/gui-lib/mred/private/wx/gtk/window.rkt @@ -617,10 +617,10 @@ (define/public (set-auto-size [dw 0] [dh 0]) (let ([req (make-GtkRequisition 0 0)]) (cond - [gtk3? - (gtk_widget_show gtk) + [gtk3? + (unless shown? (gtk_widget_show gtk)) (gtk_widget_get_preferred_size gtk req #f) - (gtk_widget_hide gtk)] + (unless shown? (gtk_widget_hide gtk))] [else (gtk_widget_size_request gtk req)]) (set-size #f #f