macOSのDock自動表示を高速化する

macOSで画面を広く使うためにDockを自動的に非表示にしています。 Dockの表示・非表示切り替わりがもっと早いと良いなと思っていたら設定がありました。