Enquanto procurávamos por respostas, deparei-me com esta publicação nos fóruns que aconselhou para verificar qual tema está definido no dconf. com o comando:
gsettings get org.gnome.desktop.interface cursor-theme
Descobri que, embora eu tivesse definido DMZ-Black em update-alternatives
, gsettings ainda estava reportando DMZ-White. Então eu emiti o comando:
gsettings set org.gnome.desktop.interface cursor-theme 'DMZ-Black'
, que entrou em vigor imediatamente. Não é necessário fazer logoff e voltar como eu precisei quando apliquei update-alternatives
.