gnome-shell-extension-autohidetopbar 20180511-2 (armhf binary) in ubuntu disco

 This gnome-shell extension automatically hides the topbar, except in overview.
 There is also an option to show the topbar when the mouse pointer approaches
 the edge of the screen.
 .
 Please note that you have to manually enable the extension, for example using
 gnome-tweak-tool.

Details

Package version:
20180511-2
Source:
gnome-shell-extension-autohidetopbar 20180511-2 source package in Ubuntu
Status:
Superseded
Component:
universe
Priority:
Optional

Package relationships

Recommends: