It seems that sometimes when pasting the clipboard in DrRacket (version 6.8), it also gets pasted into another (wrong) place. It is very annoying.
It also *seems* to occur when doing cut/paste in a different app (with DrRacket open). I've experienced this in both Ubuntu (16.10 and 17.04) and Win10. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.