A fonte da interface do usuário apresenta falhas no GNOME Shell

Question

Eu realmente não sei como descrever esse problema em inglês.

Uma imagem pode dizer mais palavras - veja as guias na parte superior da imagem vinculada. As configurações atuais da fonte também são exibidas.

Eu não sei quais informações básicas devo fornecer, se algo estiver faltando, por favor, me diga.

Ubuntu 12.04

GNOME Shell 3.4.1

Eu sei que uma reinicialização pode tornar tudo normal, mas estou procurando uma solução mais permanente que possa corrigir esse problema (ou bug).

Atualizar

Obrigado por Fitoschido, eu finalmente sei qual palavra-chave eu poderia usar para googling. Eu acho que é um bug do shell do gnome.

link