gnome-shell-extension-autohidetopbar binary package in Ubuntu Bionic ppc64el
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 | ||
---|---|---|---|---|---|---|---|---|---|
2018-04-09 00:53:11 UTC | Published | Ubuntu Bionic ppc64el | release | universe | gnome | Optional | 20171126-2 | ||
|
|||||||||
Deleted | Ubuntu Bionic ppc64el | proposed | universe | gnome | Optional | 20171126-2 | |||
|
|||||||||
2018-04-09 00:53:18 UTC | Superseded | Ubuntu Bionic ppc64el | release | universe | gnome | Optional | 20171126-1 | ||
|
|||||||||
2018-04-10 06:10:08 UTC | Deleted | Ubuntu Bionic ppc64el | proposed | universe | gnome | Optional | 20171126-1 | ||
|
|||||||||
2017-12-29 00:43:22 UTC | Superseded | Ubuntu Bionic ppc64el | release | universe | gnome | Optional | 20170728-1 | ||
|
|||||||||
2017-12-30 06:10:10 UTC | Deleted | Ubuntu Bionic ppc64el | proposed | universe | gnome | Optional | 20170728-1 | ||
|
|||||||||
2017-11-02 14:41:02 UTC | Superseded | Ubuntu Bionic ppc64el | release | universe | gnome | Optional | 20170507-1 | ||
|