Se você tiver instalado o Menu de Aplicativos Globais do Gnome (HUD para Gnome) extensão mencionada em esta resposta à outra questão que você vinculou, você precisará redefinir um par de gsettings
chaves após desabilitar / desinstalar a extensão para restaurar a normalidade.
Abra o Terminal e execute os seguintes comandos
gsettings reset org.gnome.settings-daemon.plugins.xsettings overrides
gsettings reset org.gnome.settings-daemon.plugins.xsettings enabled-gtk-modules
Em seguida, reinicie.
(Consulte "Instruções de desinstalação" aqui )