Não consigo alternar o espaço de trabalho rolando a roda do mouse quando o ponteiro do mouse está sobre o encaixe para o Ubuntu 20.04.
Para alternar a área de trabalho com a rolagem do mouse sobre o dock: org.gnome.shell.extensions.dash-to-dock.scroll-switch-workspace
está usando o valor padrão, ou seja, true
. Mas esta configuração não parece funcionar.
Para alternar a área de trabalho ao rolar no ícone do aplicativo, org.gnome.shell.extensions.dash-to-dock.scroll-action
está usando o valor padrão, ou seja, 'switch-workspace'
esta configuração funciona.
Como posso corrigir esse problema?
Descobri o seguinte:
org.gnome.shell.extensions.dash-to-dock.custom-theme-shrink
o valor padrão étrue
. Com esta configuração ativada, a altura do encaixe diminui para a altura dos botões no encaixe. Sem esta configuração ativada, a altura do encaixe se expandirá, expondo o espaço do encaixe acima e abaixo do botão. Quando o ponteiro do mouse estiver posicionado nesses espaços de encaixe expostos, eu seria capaz de alternar o espaço de trabalho usando a roda de rolagem do mouse.org.gnome.shell.extensions.dash-to-dock.custom-theme-shrink
. No entanto, eles não podem ser usados com a roda do mouse para rolar o espaço de trabalho. Eu suspeito que este é um bug do ubuntu-dock que precisa ser corrigido.O código-fonte do ubuntu-dock está
/usr/share/gnome-shell/extensions/[email protected]
e seu comportamento é controlado por scripts java. Suspeito que sejam necessárias alteraçõesdocking.js
e/oudash.js
para permitir a alternância do espaço de trabalho pela roda do mouse quando o ponteiro do mouse estiver localizado nos espaços de encaixe entre os botões do aplicativo favorito.