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 Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
