[BLUEJ-1037] Hard to copy from stderr in terminal
If you have some stderr output in the Terminal (i.e. in the second split pane), you can select it. After that, Ctrl-C will copy, but right-click will do nothing (that's actually the same as old BlueJ, I think), and if you select the menu and Copy, it does not copy stderr (I suspect it only copies stdout).
Issue metadata
- Issue type: Task
- Priority: Medium
- Fix versions: 4.2.1