Este é um bug e já foi relatado para desenvolvedores do aplicativo:
Você pode fazer upvote, se desejar, para que os desenvolvedores saibam que isso importa para você - talvez, de alguma forma, isso os acelere na liberação da correção?
- Relate que isso afeta você - isso adicionará 4 pontos de "bug heat" ("hotness").
- Inscreva-se nas notificações do bug - ele adicionará dois pontos.
(atualmente tem 48 pontos.)
Mas nos comentários do bug, descobri que já existe uma extensão não ruim para o gnome com os mesmos recursos:
Então provavelmente não há necessidade de consertar esse bug, se alguém simplesmente usar a extensão existente?
Sua instalação é um pouco complicada, mas há instruções lá, eu simplesmente as segui e agora consegui instalá-lo com sucesso.
Tente você mesmo!