Comment 4 for bug 604775

John S. Gruber (jsjgruber) wrote :

Thank you very much for the bug report. In Lernid 0.7 on natty I was able to copy from something in classroom using ctrl-c and then paste it in the terminal with shift-ctrl-v. Does it run differently in your system?

We probably ought to have Copy and Paste in the menu.