Is there a known way to hide the top bar 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.
Try gnome-shell-extension-autohidetopbar (RPM). Double-click the bar to enable autohiding.
5 years ago