That's it: changing the background from transparent to “none” in the gnome-terminal profile settings fixes the problem.
-- display sometimes does not update after enter key https://bugs.launchpad.net/bugs/326734 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
