Ubuntu 18.04 com Gnome 3 básico

Activar "Hot Corners" na Gnome Shell

Para activar os "Hot corners" (acções de Gnome Shell ao aproximar o cursor do rato dos cantos do écran), deve-se abrir o editor de configuração dconf.

Se ainda não tiver o editor de configuração do dconf instalado, pode fazê-lo:

Em ubuntu:

sudo apt install dconf-editor

Em Gentoo:

sudo emerge -av dconf-editor

Para abrir o editor deve-se premir Alt+F2 no ambiente de trabalho, escrever "dconf-editor" e carregar na tecla Enter.

Depois deve-se navegar até org/gnome/shell e deve-se procurar a chave "enable-hot-corners". Esta chave pode, então, ser alterada, passando-se o valor de "false" para "true".