The terminal in our current UI doesn’t use Ctrl+C for copying text to the clipboard - rather this is used for interrupting the current command via SIGINT. Turns out that you can also use Ctrl+Insert for this, and this seems to work find in NRE Labs.
I’m adding a little tip to the terminal interface to explain this, and a screenshot is here. Note the very bottom-right of this image:
I would like answers to two questions:
- Aesthetically, does this work? I wanted something small that wasn’t in the way - I think its important to try and preserve the minimalist nature of our new UI.
- Is it weird that the keyboard for paste isn’t included? I only included copy because that’s the only one that uses an unexpected/unintuitive combination.