I can't recall gnome-terminal changing anything hereabouts. I'd still say that if you mix the two copy-pasting methods, it's pretty much a coincidence if it works in some cases. I'm sure it still doesn't work everywhere (if it worked everywhere, there would probably be only a single copy-paste buffer and we'd all be much happier). And as long as it's (unfortunately) not indended to work, and doesn't work at plenty of places, having even one more place where it doesn't work is IMO unfortunately not a bug.
The bug (a truly serious, much higher level design bug which Linux/Unix desktop developers couldn't fix for decades now) is the existence of two separate copy-paste buffers. -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1726439 Title: Link copied with "Copy Link Address" cannot be pasted with Shift- Insert To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1726439/+subscriptions -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
