Context menu copy grabs wrong thing

[toddobryan]

I've been using comment boxes in files for student assignments.

If you right-click and copy near a comment box, it seems to grab the contents of the comment box, not the selected text (video below).

Ctrl-C does seem to work.

https://drive.google.com/file/d/1hQwIv4CqqjjuJQrLnUKittQh0TtHFPBp/view?usp=sharing is a link to a video of the bug.

[racket-discourse-github-bot]

This issue has been mentioned on Racket Discourse. There might be relevant details there:

https://racket.discourse.group/t/possible-bug-copy-in-vicinity-of-comment-box-copies-contents-of-box/3294/3

[rfindler]

Wow, that's unexepected!

I tried with just a small example that kind of looks like your file but that didn't reproduce the bug. Do you mind sharing a file and the specific region you're copying? (The smaller the file the better, but any reasonable sized file will be totally fine.)