gtk clipboard repair

original commit: abf1805d4257c05c7c7d40535414a0dcfd901a94
2010-09-19 18:19:42 -06:00 · 2010-09-19 18:19:42 -06:00 · b92d693343
commit b92d693343
parent b3267c7dba
1 changed files with 1 additions and 1 deletions
--- a/collects/mred/private/wx/gtk/clipboard.rkt
+++ b/collects/mred/private/wx/gtk/clipboard.rkt
@ -127,7 +127,7 @@
  (define/public (replaced s-box)
    ;; Called in Gtk event-dispatch thread --- atomically with respect
    ;; to any other thread
-    (when (eq? s-box self-box)
+    (when (ptr-equal? s-box self-box)
      (set! self-box #f)
      (let ([c client])
        (when c