Is there a known way to hide the Panel in Gnome 3? I want it to be hidden by default, and visible only when I zoom out. The same way as with the workspaces and application icons.
1 Answer
Try gnome-shell-extension-autohidetopbar (RPM). Double-click the bar to enable autohiding.