Actually what makes the difference is if I change the selection several times in short succession. If I select something after not having selected anything for a while, the change is often not noticed. This also affects the clipboard (the Ctrl-C, Ctrl-V/X11 CLIPBOARD selection one).
Actually what makes the difference is if I change the selection several times in short succession. If I select something after not having selected anything for a while, the change is often not noticed. This also affects the clipboard (the Ctrl-C, Ctrl-V/X11 CLIPBOARD selection one).