Diferenças entre edições de "Ubuntu 18.04 com Gnome 3 básico"
Saltar para a navegação
Saltar para a pesquisa
(Criou a página com "= 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...") |
|||
Linha 1: | Linha 1: | ||
= Activar "Hot Corners" na Gnome Shell = | = 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 dconf, navegar até org/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". | |
− |
Revisão das 15h20min de 17 de julho de 2018
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".