No Gnome Shell, parece que o cursor do mouse é dimensionado para quase 1,5x seu tamanho usual para o que parece ser uma "novidade".
Mover o cursor sobre um aplicativo "não Gnome", como o Google Chrome, torna o cursor o "tamanho certo".
Ins...
03.08.2016 / 09:44