** Attachment added: "Test script which reproduces the bug." https://bugs.launchpad.net/bugs/1045166/+attachment/3289931/+files/t.sh
-- 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/1045166 Title: Sometimes gnome-terminal does not paint characters on the screen. To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1045166/+subscriptions -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
