[Bug 745650] gnome-shell / gnome terminal repaint glitches