diff --git a/collects/mred/private/wx/common/clipboard.rkt b/collects/mred/private/wx/common/clipboard.rkt index 09d81c8a85..7d96c06260 100644 --- a/collects/mred/private/wx/common/clipboard.rkt +++ b/collects/mred/private/wx/common/clipboard.rkt @@ -14,6 +14,7 @@ (define types null) (define es (current-eventspace)) (define/public (get-client-eventspace) es) + (define/public (set-client-eventspace e) (set! es e)) (def/public (same-eventspace? [eventspace? e]) (eq? e es)) (def/public (get-types) @@ -47,6 +48,7 @@ (def/public (set-clipboard-client [clipboard-client% c] [exact-integer? timestamp]) + (send c set-client-eventspace (current-eventspace)) (send driver set-client c (send c get-types))) (super-new)) diff --git a/collects/mred/private/wx/common/local.rkt b/collects/mred/private/wx/common/local.rkt index 6ffb76cb5c..0f1d6a08ec 100644 --- a/collects/mred/private/wx/common/local.rkt +++ b/collects/mred/private/wx/common/local.rkt @@ -6,6 +6,7 @@ (define-local-member-name ;; clipboard-client%: get-client-eventspace + set-client-eventspace ;; cursor% get-driver)