suzanne.soy/gui
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

GTK+ 3: fix auto-resize of message%

Browse Source
This commit is contained in:
Matthew Flatt 2015-08-27 15:28:09 -06:00
parent b06ee46854
commit cb8f2ef3fd
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gui-lib/mred/private/wx/gtk/window.rkt
View File

@ -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