Eu encontrei uma solução parcial para o problema.
Parece que a raiz do problema está em algum lugar no mutter ou no driver da Intel, ou em uma dependência. A partir do link , uma solução alternativa é colocar o seguinte em / etc / environment (ou em outro lugar que fique " originado "antes que as coisas sejam executadas):
CLUTTER_PAINT=disable-clipped-redraws:disable-culling
Para mim, isso torna o Gnome 3.4 bastante utilizável, mas ainda um pouco pior do que o 3.2 em termos de desempenho. A solução resolve o tearing e o choppiness, mas acrescenta lag ao mover as janelas para que pareçam estar no mel ou algo assim!