Customize macOS Dock Hiding (MacMost #1785)

November 12, 2018