Boas Sttiven, existe uma extensão para isso.
Se tens o Gnome 3.12 (o "default" é o 3.10!), só tens que ir a esta página e instalar a extensão (com o Firefox!):
https://extensions.gnome.org/extension/545/hide-top-bar/ Caso tenhas o Gnome 3.10 (como eu!), tens que fazer o seguinte:
Abre o terminal e executa estes comandos um por um:
cd ~/.local/share/gnome-shell/extensions/
git checkout fe12c4a5fc35d652ebfcec5ad11b7cbe07dbd34a
glib-compile-schemas --strict --targetdir=./schemas/ .
E já está a extensão instalada, mas para ficar activa,
TENS DE FAZER LOGOUT/LOGIN, ou pressionas as teclas
Alt+F2 e, quando aparecer a janela, carregas na letra
R seguido de
ENTER que reiniciará o DE.
Depois, já deves ter o Painel escondido (comigo funcionou!), abres o Gnome-Tweak-Tool, vais ao separador do lado esquerdo
Extensões, do lado direito procuras por
HideTopBar e nela, à direita vais ver um ícone tipo
"ferramenta" ao lado da opção
Remover, clicas nele para gerir as configurações da extensão.
Duas opções que devem dar jeito são:
-
Show panel when mouse approaches edge of the screen - permite que o painel apareça quando encostares o rato ao topo do ecrãn (onde está o painel);
-
Keep hot corner sensitive, even in hidden state - permite que o "ícone" do "dash" do Gnome contínue activo mesmo com o painel escondido.
As outras opções estão relacionadas com os tempos de reacção
esconder/mostrar,
animações e
atalhos do teclado.
Se tiveres algum problema (comigo funcionou!), coloca aqui e eu ajudo-te.
Hasta.