'Nascondi automaticamente e mostra il Dock' è spuntato nel pannello delle preferenze del dock, ma il dock non si nasconde automaticamente.
Forsepertinente,itooltipperinomidelleapplicazionisibloccanoancheall'infinitodopocheilpuntatoredelmousehalasciatol'areadeldock:sottoc'èunoscreenshotdeldockconunadescrizionedelnomedel'Calendario'.Ilsuggerimentononscompareseilpuntatoredelmousenonsimuovenuovamentesopraildockevienespostatosenzaprobleminell'areadeldock,inmododanonlasciarealcunsuggerimento.
Di solito non imposto il dock per nascondere automaticamente, si tratta di un tentativo di aggirare un bug (forse correlato, forse no) in cui il dock continua a mostrare sempre anche durante la riproduzione di un video a schermo intero con VLC. Ho già provato killall Dock
- il dock non è stato riavviato e ho dovuto riavviare il computer. Ho anche eliminato un file di preferenza di qualche tipo sotto ~/Library/Application Support
chiamato qualcosa come com.apple.Dock
o simile - sfortunatamente ho dimenticato il nome esatto.