Это ошибка в gnome-shell?

Я установил gnome-shell несколько месяцев спустя. Это информация о пакете:

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

Я использую Ubuntu на работе каждый день, так что это очень раздражает, потому что мне приходится каждый раз перезагружаться. Вот ситуация: после 4-6 часов работы мое окно Chromium начинает выглядеть так (при максимизации):

Названия вкладок, закладки и кнопки исчезают (мне нужно навести курсор, чтобы я мог их видеть). Содержимое вкладки становится черным (снова при наведении).

Сначала я подумал, что это проблема с Chromium, и минимизация окна, кажется, решает проблему (на некоторое время):

Через 30-60 минут проблемы сохраняются, и тогда мне приходится минимизировать еще больше. Затем я понял, что Chromium был не единственным. Это Geany:

То же самое с кнопками и левой панелью.

Мне было интересно, если это какой-то известный gnome-shell проблема, и если это так, как я могу ее решить?

Спасибо

Редактировать:

От gnome-tweak-tool

Изменить 2:

Проблема сохраняется даже с официальным gnome-shell PPA

PS Пожалуйста, не говорите "используйте Unity"