They not only disappear, but when highlighting certain special symbols (e.g. plus minus sign), they get substituted for something entirely else. For instance, the plus minus sign (±) becomes a capital letter G when selecting.
-- Punctuation, Characters disappear upon highlighting. https://bugs.launchpad.net/bugs/37283 You received this bug notification because you are a member of Ubuntu Bugs, which is a direct subscriber. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs