Como alterar a sensibilidade do Ubuntu Dock em 17.10?

Question

Muitas vezes preciso copiar e colar e usar controles de GUI nas bordas da tela.

Nas versões anteriores, o Ubuntu Dock poderia ser configurado para mostrar apenas quando o cursor estava no canto, não apenas em uma borda, e havia um parâmetro de 'sensibilidade' que poderia ser configurado para evitar o acionamento acidental do Dock.

Estes não parecem estar presentes no Painel de Controle do Ubuntu 17.10. Existe alguma opção de extensão ou configuração oculta em 17.10 que poderia:

1. faz o Dock aparecer quando o cursor está no canto superior esquerdo, e não apenas à esquerda, e / ou
2. altera a sensibilidade do auto-show do Dock?

Answer 1

Siga os passos abaixo para alterar a sensibilidade usando dconf-editor :

1. Selecione a preferência org.gnome.shell.extensions.dash-to-dock.pressure-threshold .
2. Defina o controle deslizante "Usar valor padrão" para OFF.
3. Insira um valor personalizado na caixa "valor personalizado". O valor padrão é 100 e parece que os valores em torno de 500 o tornam um pouco menos sensível.

Para mim, um valor de 1000 torna aparentemente impossível abrir o Dock, então isso é uma evidência de que a configuração parece estar fazendo algo e provavelmente não é apenas minha imaginação.