Оказывается, это еще один явный признак Dock
сбоев время от времени (как и потеря ⌘→и ⌘←). Исправить это просто: убить Dock
процесс (он перезапускается автоматически), выполнив
killall Dock
на терминале (терминал.app можно найти с помощью spotlight; он находится в / Applications)