[Desktop-packages] [Bug 1045166] [NEW] Sometimes gnome-terminal does not paint characters on the screen.

2012-09-02 Thread Collin Stocks
Public bug reported: Behaviour: Sometimes gnome-terminal does not repaint the screen correctly after the text has changed. This happens in only a few specific cases that I have encountered, yet happens fairly reliably in those cases. I have not been able to track down exactly what situations in g

[Desktop-packages] [Bug 1045166] Re: Sometimes gnome-terminal does not paint characters on the screen.

2012-09-02 Thread Collin Stocks
** 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 Desktop Packages, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/b

[Desktop-packages] [Bug 1045166] Re: Sometimes gnome-terminal does not paint characters on the screen.

2012-09-02 Thread Collin Stocks
I can reaffirm that the test script also reveals the problem on 11.04 (on my other computer). -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1045166 Title: Sometimes gnome-term

[Desktop-packages] [Bug 1045166] Re: Sometimes gnome-terminal does not paint characters on the screen.

2012-09-02 Thread Collin Stocks
*** This bug is a duplicate of bug 888666 *** https://bugs.launchpad.net/bugs/888666 ** This bug has been marked a duplicate of bug 888666 terminal doesn't refresh properly with nvidia-current drivers -- You received this bug notification because you are a member of Desktop Packages, whic