macOS Mojave 10.14でDockが自動非表示にならない

ドックの設定ペインで「ドックを自動的に非表示および表示する」にチェックマークが付いていますが、ドックは自動的に非表示になりません。

おそらく関連性がありますが、アプリケーション名のツールチップも、マウスポインターがドック領域から出た後、無期限にハングアップします。以下は、「カレンダー」名のツールチップが表示されたドックのスクリーンショットです。ツールチップが表示されたままにならないように、マウスポインターを再びドックの上に移動してからドック領域からスムーズに移動しない限り、ツールチップは消えません。

私は通常、ドックを自動非表示に設定しません。これは、VLCでフルスクリーンでビデオを再生しているときでもドックが常に表示されるバグ（おそらく、おそらく関連しない）を回避する試みです。私はすでに試しましたkillall Dock-ドックは再起動せず、コンピューターを再起動する必要がありました。また、似た~/Library/Application Supportような名前の名前の下にある設定ファイルを削除しcom.apple.Dockました-残念ながら、正確な名前を忘れてしまいました。