Este parece ser um bug conhecido: Gnome Bugzilla # 626406 .
Não há atividade no bug desde 2013, então provavelmente sua melhor aposta é ir até lá e fazer algum barulho. Infelizmente, a regra usual no código aberto é que bugs de baixa prioridade são mais propensos a serem consertados se você os consertar sozinho. O último comentário sugere que a mudança real do software seria bem pequena (habilitar o modo XOR).