[Ubuntu-BR] Pequenos bugs no GNOME

[Felipe Jaekel]

Tenho dois usuários no meu PC. Em um deles não consigo alterar o tema do
cursor do mouse e no outro quando teclo ALT + F2 não acontece nada.