'Ocultar y mostrar automáticamente el Dock' está marcado en el panel de preferencias del Dock, pero el Dock nunca se oculta automáticamente.
Quizásrelevante,lainformaciónsobreherramientasparalosnombresdelasaplicacionestambiénsecuelgaportiempoindefinidodespuésdequeelpunterodelmousehayasalidodeláreadeacoplamiento-acontinuaciónsemuestraunacapturadepantalladelacoplamientoconunainformaciónsobreherramientasconelnombredel'Calendario'.Lainformaciónsobreherramientasnodesapareceamenosqueelpunterodelmousesedesplacedenuevosobrelabaseyluegosemuevasuavementefueradeláreadelabase,paraquenosemuestreningunainformaciónsobreherramientas.
Normalmente no configuro el dock para que se oculte automáticamente, es un intento de evitar un error (quizás relacionado, quizás no) donde el dock se sigue mostrando incluso cuando se reproduce un video en pantalla completa con VLC. Ya probé killall Dock
; el dock no se reinició y tuve que reiniciar la computadora. También eliminé un archivo de preferencias de algún tipo debajo de ~/Library/Application Support
llamado algo así como com.apple.Dock
o similar; desafortunadamente, he olvidado el nombre exacto.