diff --git a/collects/mred/private/wx/gtk/frame.rkt b/collects/mred/private/wx/gtk/frame.rkt index 1ec3356853..5cf5b9b04a 100644 --- a/collects/mred/private/wx/gtk/frame.rkt +++ b/collects/mred/private/wx/gtk/frame.rkt @@ -191,9 +191,9 @@ (if (= x -11111) -2 x) (if (= y -11111) -2 y))) - (define/override (set-top-size x y w h) + (define/override (really-set-size gtk x y w h) (set-top-position x y) - (gtk_window_resize gtk w h)) + (gtk_window_resize gtk (max 1 w) (max 1 h))) (define/override (direct-show on?) (super direct-show on?) diff --git a/collects/mred/private/wx/gtk/window.rkt b/collects/mred/private/wx/gtk/window.rkt index 42127c985f..42782028de 100644 --- a/collects/mred/private/wx/gtk/window.rkt +++ b/collects/mred/private/wx/gtk/window.rkt @@ -273,16 +273,15 @@ (unless (= h -1) (set! save-h h)) (tentative-client-size (+ save-w client-delta-w) (+ save-h client-delta-h)) - (if parent - (send parent set-child-size gtk save-x save-y save-w save-h) - (set-top-size save-x save-y save-w save-h)))) + (really-set-size gtk save-x save-y save-w save-h))) + + (define/public (really-set-size gtk x y w h) + (send parent set-child-size gtk x y w h)) (define/public (set-child-size child-gtk x y w h) (gtk_widget_set_size_request child-gtk w h) (gtk_widget_size_allocate child-gtk (make-GtkAllocation x y w h))) - (define/public (set-top-size x y w h) (void)) - (define/public (remember-size w h) ;; called in event-pump thread (unless (and (= save-w w)