On Friday, April 21, 2017 at 1:35:12 AM UTC-7, Chris Klopfenstein wrote: > 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.
This seems very strange. Could you give a specific example? Maybe steps to reproduce the problem? -- 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.
