What I want to do:
Hide the GNOME Panel while Overview/App Grid is open, but show it on the desktop. So when I go to my activities overview or look at my apps, the panel is not there. But when I am looking at the desktop, it is there, and I can interact with it and everything.
What I've Tried:
I've tried variations of Hide Top Bar extensions without any luck.
Theoretically
You should be able to make an extension to do this, right? I have very very little knowledge of how to make an extension for GNOME, so any help would be appreciated.
For the native panel
Install Hide Panel extension by fthx
open ~/.local/share/gnome-shell/extensions/hide-panel@fthx/extension.js
modify
AppMenu.container.hide()
to
Voila.
Now this extension hides the panel from overview.
you can do this by setting this extention. Try the
sudo apt install gnome-shell
command before installation.I'm offering only a partial solution which implies the use of dash to panel extension with intellihide ON.
The intellihide works awesome except it reveals the panel in overview.
The responsible is
_checkIfShouldBeVisible
in~/.local/share/gnome-shell/extensions/[email protected]/intellihide.js
Changing the
_checkIfShouldBeVisible
tohides the panel from overview.
This works for gnome 3.36, 41 and I believe for all the other versions.
I don't yet know how to use intellihide to interact with the panel for the overview only and it was my main goal. As of now I'm ok with this.
EDIT:
I've found a better solution with intellihide OFF
~/.local/share/gnome-shell/extensions/[email protected]/panel.js
_adjustForOverview: function()
change
this.panelBox[isShown ? 'show' : 'hide']();
to
this.panelBox[isShown ? 'hide' : 'hide']();
but now there's no nice smooth animation.. not a big deal I think