C'è un modo per far sì che il dock usi "intellihide" (questo è un riporto da vari moli nel mondo linux). Fondamentalmente ciò significa che il dock è sempre visibile se non ci sono finestre nel suo spazio, ma se una finestra si avvicina troppo, il dock ritorna al comportamento del tipo autohide. Posso solo trovare "autohide" e sempre visibile. Preferirei qualcosa come ho descritto.