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. 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".