El caso es que tengo a varios de esos botones asignadas acciones de Mission Control, pero sin motivo aparente, una de esas acciones ha dejado de funcionar. Es más, cuando he tratado de depurar el problema asignándole otro botón que aparentemente si funcionaba, seguía sin hacerlo.
Así que el problema debía estar relacionado con software y no con el hardware del ratón. Lo curioso es que cuando te diriges a la Librería de usuario, en la carpeta donde están las preferencias, uno espera encontrar algo así como com.missioncontrol.apple.plist (o algo así) para eliminar las preferencias de Mission Control y poder recrear el escenario de control de Mission Control. Pero no es así.
En todo caso, mi opción era deshacerme de las preferencias del Dock navegando hasta la carpeta ~/Library/Preferences y deshacerme de ambos archivos (mejor usar una búsqueda dentro de la carpeta) y reiniciar el Dock usando en el Terminal killall Dock
. Aún así, le ha costado algunos segundos “recuperar” un comportamiento normal, pero al menos, la solución, que era deshacernos de esa falta de funcionamiento de Mission Control al pulsar un botón del ratón se ha solucionado.