diff --git a/collects/2htdp/private/world.rkt b/collects/2htdp/private/world.rkt index 95e8cd13c8..6a1d772bd0 100644 --- a/collects/2htdp/private/world.rkt +++ b/collects/2htdp/private/world.rkt @@ -157,7 +157,14 @@ (pkey e:str)))))))) (define/private (deal-with-mouse %) - (if (not on-mouse) % + (if (not on-mouse) + ;; No mouse handler => discard mouse events (so snip are not selected + ;; in the pasteboard, for example + (class % + (super-new) + (define/override (on-event e) + (void))) + ;; Mouse handler => handle mouse events (class % (super-new) (define/override (on-event e)