gnome-shell-extension-autohidetopbar 20200322-1 (riscv64 binary) in ubuntu focal

 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:
20200322-1
Source:
gnome-shell-extension-autohidetopbar 20200322-1 source package in Ubuntu
Status:
Published
Component:
universe
Priority:
Optional

Package relationships

Recommends: