É um bug no gnome-shell? [fechadas]

Question

Eu instalei o gnome-shell há alguns meses. Esta é a informação do pacote:

$ dpkg-query --show gnome-shell
gnome-shell 3.5.2+git20120615.7524210d-0ubuntu1~12.04~ricotz1

Eu uso o Ubuntu no trabalho todos os dias, então isso é muito chato porque eu tenho que reiniciar toda vez. Aqui está a situação: depois de 4-6 horas de trabalho, minha janela do Chromium começa a ficar assim (quando maximizada):

Títulos de abas, favoritos e botões desaparecem (eu preciso passar para que eu possa vê-los). O conteúdo da guia fica preto (novamente, passe o mouse).

Primeiro, achei que era um problema do Chromium e minimizar a janela parece resolver o problema (por enquanto):

Após 30 a 60 minutos, o problema persiste e, então, preciso minimizar ainda mais. Então, percebi que o Chromium não era o único. Isso é guroso:

A mesma coisa com os botões e o painel esquerdo.

Eu queria saber se isso é algum tipo de problema conhecido de gnome-shell e, se esse for o caso, como posso resolvê-lo?

Obrigado

Editar:

De gnome-tweak-tool

Editar 2:

O problema persiste mesmo com o oficial gnome-shell PPA

P.S. Por favor, não diga "use o Unity"

    

Answer 1

Você está usando uma versão não-suportada não oficial do gnome-shell do Gnome 3.5 do PPA "ricotz". Arquive um bug com o mantenedor do PPA .