Não é possível rolar a lista de aplicativos do Gnome. Como faço para corrigir isso?

Não é possível rolar a lista de aplicativos do Gnome. Como faço para corrigir isso?

Reproduzir:

  1. Pressione a tecla super para abrir a visualização de gerenciamento do aplicativo Gnome. (Existe um nome para isso?)
  2. Clique na matriz 3x3 de pontos no dock para abrir a lista de aplicativos.
  3. Clique na guia "Todos" na parte inferior.

Agora deve haver pontos à direita que parecem representar o número de páginas dos aplicativos. Eu tenho três. Quando clicados, eles não fazem nada. As teclas de seta e as teclas de página para cima/para baixo não fazem nada. Rolar com o touch pad não faz nada.

Posso, no entanto, procurar (e encontrar e abrir) aplicativos que não são mostrados, portanto, claramente deveria haver mais páginas. Estou fazendo algo errado ou algo está quebrado?

informação relacionada