De alguma forma, ocorreu-me que isso poderia ser causado pelo utilitário unclutter que eu tinha instalado recentemente. Acontece que esse é o culpado. Assim que soube, consegui descobrir que o problema já havia sido informado, por exemplo, aqui: link .
Além disso, encontrei uma alternativa chamada hhpc : link . Vai tentar.