diff --git a/collects/mred/private/wx/gtk/frame.rkt b/collects/mred/private/wx/gtk/frame.rkt index d4600bfd35..f93c2ee9fa 100644 --- a/collects/mred/private/wx/gtk/frame.rkt +++ b/collects/mred/private/wx/gtk/frame.rkt @@ -91,6 +91,8 @@ (let ([wx (gtk->wx gtk)]) (when wx (send wx remember-size + (GdkEventConfigure-x a) + (GdkEventConfigure-y a) (GdkEventConfigure-width a) (GdkEventConfigure-height a)))) #f)) diff --git a/collects/mred/private/wx/gtk/window.rkt b/collects/mred/private/wx/gtk/window.rkt index 9b5b3927ca..2634c7f701 100644 --- a/collects/mred/private/wx/gtk/window.rkt +++ b/collects/mred/private/wx/gtk/window.rkt @@ -465,12 +465,16 @@ (gtk_widget_set_size_request child-gtk w h) (gtk_widget_size_allocate child-gtk (make-GtkAllocation x y w h))) - (define/public (remember-size w h) + (define/public (remember-size x y w h) ;; called in event-pump thread (unless (and (= save-w w) - (= save-h h)) + (= save-h h) + (= save-x x) + (= save-y y)) (set! save-w w) (set! save-h h) + (set! save-x x) + (set! save-y y) (queue-on-size))) (define/public (queue-on-size) (void))