gnome-shell-extension-autohidetopbar binary package in Ubuntu Focal arm64
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.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2020-04-10 05:53:33 UTC | Published | Ubuntu Focal arm64 | release | universe | gnome | Optional | 20200322-1 | ||
|
|||||||||
Deleted | Ubuntu Focal arm64 | proposed | universe | gnome | Optional | 20200322-1 | |||
|
|||||||||
2020-04-10 05:54:48 UTC | Superseded | Ubuntu Focal arm64 | release | universe | gnome | Optional | 20190913-1 | ||
|
|||||||||
2020-04-11 06:10:10 UTC | Deleted | Ubuntu Focal arm64 | proposed | universe | gnome | Optional | 20190913-1 | ||
|
|||||||||
2019-10-28 01:23:23 UTC | Superseded | Ubuntu Focal arm64 | release | universe | gnome | Optional | 20180908-2 | ||
|