Possible bug - Copy in vicinity of Comment Box copies contents of box

I've been using a lot of comment boxes in starter code for student assignments, and if you right click on code near the comment box and choose Copy, you often paste the contents from the comment box instead of the selected code.

This doesn't seem to happen if you use Ctrl+C mostly.

What's the easiest way of posting a video to show the problem?

Should I be posting this somewhere else? Do the devs monitor the discourse?

Just made an Issue on the DrRacket Github:

2 Likes

Should have mentioned that @robby already fixed this.

1 Like