The same happens if I use a PHPstorm instead of gedit in the above example. So it seems that other applications "take over" the copy-paste buffer and terminal is unable to write to it.
The same happens if I use a PHPstorm instead of gedit in the above example. So it seems that other applications "take over" the copy-paste buffer and terminal is unable to write to it.