Diferenças entre edições de "Ubuntu 18.04 com Gnome 3 básico"

Fonte: TecPorto
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".
Depois, deve-se procurar a chave "enable-hot-corners" e passar 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".