Al hacer clic en actividades y comenzar a escribir se duplica la primera letra en el cuadro de búsqueda de Gnome

Si al hacer clic en "Actividades" y comenzar a escribir, se os duplica la primera letra en el cuadro de búsqueda, probablemente sea porque tenéis instalada la extensión de Gnome Dash to Dock.

Para desactivar ese molesto efecto, podéis abrir un terminal y ejecutar el siguiente comando:

gsettings set org.gnome.shell.extensions.dash-to-dock disable-overview-on-startup true

Una vez, hecho ésto, debéis reiniciar pulsando Alt+F2 y escribiendo r en el cuadro de búsqueda, o cerrando la sesión y volviendo a abrirla.