Después de la instalación de RealVNC, la base cambió (Ubuntu 18.04)

Después de la instalación de RealVNC, la base cambió (Ubuntu 18.04)

Antes de la instalación de RealVNC (5.0.7), la base simplemente estaba allí permanentemente, acoplada en el lado izquierdo de la pantalla.

Después de la instalación de RealVNC, el Dock sólo se puede ver al hacer clic en "Actividades" y es el estilo anterior, redondeado en los bordes, con una línea roja debajo de las aplicaciones activas en lugar de un punto como en el estilo más nuevo.

¿Por qué el formato de la base (o quizás todo el entorno de escritorio) volvió a cambiar a este y cómo puedo revertirlo?

Ya probado/más información; El muelle no está configurado para ocultarse automáticamente. La herramienta gnome-tweaksno puede arreglarlo. RealVNC no parece tener una configuración relacionada. Podría estar relacionado con otra cosa (es decir, que RealVNC no es la causa del problema). El problema ocurre tanto cuando se conecta de forma remota como con una pantalla conectada directamente al servidor.

$ apt policy gnome-shell-extension-ubuntu-dock
gnome-shell-extension-ubuntu-dock:
  Installed: 0.9.1ubuntu18.04.3
  Candidate: 0.9.1ubuntu18.04.3
  Version table:
 *** 0.9.1ubuntu18.04.3 500
        500 http://au.archive.ubuntu.com/ubuntu bionic-updates/main amd64 Packages
        500 http://au.archive.ubuntu.com/ubuntu bionic-updates/main i386 Packages
        100 /var/lib/dpkg/status
     0.9.1 500
        500 http://au.archive.ubuntu.com/ubuntu bionic/main amd64 Packages
        500 http://au.archive.ubuntu.com/ubuntu bionic/main i386 Packages

$ gsettings get org.gnome.shell enabled-extensions
@as []

información relacionada