From 85ce22d4f7ed1d78c1cea6932b3ea44654efd7dd Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 12 Sep 2010 18:10:01 -0600 Subject: [PATCH] fix clipboard eventspace problem --- collects/mred/private/wx/common/clipboard.rkt | 2 ++ collects/mred/private/wx/common/local.rkt | 1 + 2 files changed, 3 insertions(+) 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)