A fonte na minha barra de título do 12.10 Gnome Shell está exibindo alguns caracteres incorretamente (veja o instantâneo).
Esse comportamento aconteceu uma vez antes, mas o registro foi corrigido.
Eu instalei alguns xfonts para corrigir um bug do MATLAB (xfonts-100dpi e xfonts-75dpi). Depois disso, o bug da barra de título apareceu e não vai embora, mesmo depois de entrar e sair.
Alguma idéia?
Screenshot: