il "dock a scomparsa" si può impostare dalle preferenze dello stesso spuntando l'opzione "mostra e nascondi automaticamente".
ad ogni modo, è un ottima trovata che ho adottato da tempo anch'io.
Si, certo,
ma col modo che ho postato il dock scompare solo con l'applicazione che vogliamo noi e non sempre come abilitandolo nelle preferenze