Bem, consegui resolver o problema. Este parece ser um problema conhecido causado pela instalação do Gnome 3.10. A questão é mencionada aqui e a correção também é fornecida.
A correção é difícil de encontrar no link, para corrigir o tipo em um terminal
gsettings set org.gnome.settings-daemon.plugins.cursor active false