terminal
terminal copied to clipboard
Deselect after unmodified copy `<Ctrl>C`
Extracted from #212 as it is a separate issue.
I'm not sure if we want to do this, since copying doesn't behave that way anywhere else. I'd be curious to hear thoughts from @elementary/ux.