В Ubuntu 13.10 я нашел его только в пакете
sudo apt-get install gnome-tweak-tool
(немецкий в «Optimierungs-Werkzeug») и там в настройке для мыши:
И вот старый скриншот (Hebt die aktuelle Position des Zeigers hervor, wenn die Strg-Taste gedrückt und wieder losgelassen wird.)
В соответствии с OP в комментарии :
Изменил собобокс темы GTK + theme, потому что я думал, что этого достаточно. Я не очень хорошо понимаю темы. Я только что нашел параметр в Appearance под названием Theme и что DID решает проблему.
blockquote>