Comment 4 for bug 1723884

Revision history for this message
Phil Davis (phil-davis) wrote :

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.