Ubuntuドックが動かなくなった

「ドックの自動非表示」をオンに設定しましたが、ドックが消えません。デスクトップ上のアイコンは少し左に移動するため、一部はドックで覆われていますが、最大化されたウィンドウがそれを覆っていない限り、ドックはそのまま残ります。

最初の画像は、自動非表示がオンになっているデスクトップの抜粋を示し、2番目の画像は自動非表示がオフになっている状態を示しています。

3番目の画像は、私が欲しかったものと、@ pomskyの答えから得たものを示しています。

これがデフォルトの動作です。Ubuntuドックは、自動非表示に設定されている場合、「intellihide」メカニズム（つまり、ウィンドウのみを回避）を使用します。

マウスを置くまで非表示にしたい場合は、ターミナルを開いて以下を実行します

gsettings set org.gnome.shell.extensions.dash-to-dock intellihide false