[Solución] Problemas al cambiar el puntero del ratón en Gnome

Cuando cambiamos el puntero del ratón puede que en los menús o en algunas aplicaciones se nos muestre el cursor por defecto de Gnome en vez del que tenemos.

Encontré la solución en Un Tux Suelto, para arreglarlo tenemos que modificar el archivo /usr/share/icons/default/index.theme:

sudo gedit /usr/share/icons/default/index.theme

Hay que cambiar DMZ-White por el nombre del puntero que queramos.

[Icon Theme]
Inherits=DMZ-White