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.
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to
I can reproduce by:
1) Open text editor (gedit)
2) Select-copy some text from a terminal window - paste it anywhere (into the
terminal or gedit), it works - good.
3) Type some text into gedit. Select-copy some of that text. Paste it to gedit
or the terminal - works - good.
4) Select-copy some
After logout-login copy works again in the terminal. I will keep an
"eye" on it and try to determine under what conditions the "Copy" stops
working.
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
Public bug reported:
- do a default install of Ubuntu 17.10
- open a terminal window
- select some text, click and select "Copy"
- go to any other application and try to paste the text
Expected:
The text is pasted
Actual:
There is no text pasted
Problem happens with all text selection/copy