I followed the advice in bug #63931 to fix a different problem, and this problem also went away.
-- Mouse Pointer in kind of underlined. https://launchpad.net/bugs/39614 -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
