Al parecer, el sistema “tradicional” (Cambiar el fondo del escritorio | Tema | Personalizar | Puntero) para cambiar el puntero del mouse no funciona.
Para solucionarlo, tecleamos desde un Terminal:
sudo update-alternatives –config x-cursor-theme
aparecerá una lista con los punteros que tengamos instalados, tecleamos el número del que deseemos utilizar, y tema solucionado.
(Para que aparezca el nuevo es necesario reiniciar las X)
