alainpannetier, You show how to rebuild the terminal emulator widget (not exactly the version shipped by Ubuntu, without the patches and configurations shipped by Ubuntu), with one patch that is utterly irrelevant to this topic here.
I don't have the slightest idea how that could fix the truly unfortunate coloring. -- 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/1926256 Title: Pasted text in the terminal is always highlighted and selected To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/bash/+bug/1926256/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
