From ec385591fa1e322571c0ae32a46e9536c7bfa829 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 3 Aug 2011 10:11:33 -0600 Subject: [PATCH] gtk: fix frame position tracking Closes PR 11931 original commit: cdf20857039ab5e235629e80c61bc7296f77e5d0 --- collects/mred/private/wx/gtk/frame.rkt | 2 ++ collects/mred/private/wx/gtk/window.rkt | 8 ++++++-- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/collects/mred/private/wx/gtk/frame.rkt b/collects/mred/private/wx/gtk/frame.rkt index d4600bfd..f93c2ee9 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 9b5b3927..2634c7f7 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))