Sounds like one of the programs involved crashed. If you can reproduce this problem at will, let us know which program it is which is not being repainted (firefox or gnome-terminal) so that this bug can be assigned to that package.
Sounds like one of the programs involved crashed. If you can reproduce this
problem at will, let us know which program it is which is not being repainted
(firefox or gnome-terminal) so that this bug can be assigned to that package.