RealVNC のインストール後、ドックが変更されました (Ubuntu 18.04)

RealVNC のインストール後、ドックが変更されました (Ubuntu 18.04)

RealVNC (5.0.7) をインストールする前は、ドックは画面の左側に常にドッキングされていました。

RealVNC をインストールした後、ドックは「アクティビティ」をクリックしたときにのみ表示されます。これは、新しいスタイルのようなドットではなく、エッジが丸みを帯びた古いスタイルで、アクティブなアプリケーションの下に赤い線が表示されます。

なぜドック形式 (またはデスクトップ環境全体) がこれに戻ったのでしょうか。また、元に戻すにはどうすればよいのでしょうか。

すでにテスト済み/詳細情報: ドックは自動的に非表示に設定されていません。ツールではgnome-tweaks修正できません。RealVNC にはこれに関連する設定がないようです。他の何かに関連している可能性があります (つまり、RealVNC が問題の原因ではない)。この問題は、リモート接続時と、サーバーに直接接続された画面の両方で発生します。

$ 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 []

関連情報