¿Hay alguna manera de hacer que el dock use "intellihide" (esto es un arrastre de varios muelles en el mundo de Linux)? Básicamente, eso significa que el dock siempre está visible si no hay ventanas en su espacio, pero si una ventana se acerca demasiado, el dock vuelve al comportamiento de tipo de ocultación automática. Solo puedo encontrar "autohide" y siempre visible. Preferiría algo como lo describí.