gtk clipboard repair

2010-09-19 18:19:42 -06:00 · 2010-09-19 18:19:42 -06:00 · abf1805d42
commit abf1805d42
parent 24b016c8d5
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