gnome-shell-extension-autohidetopbar 20180908-2 source package in Ubuntu
Changelog
gnome-shell-extension-autohidetopbar (20180908-2) unstable; urgency=medium * Recommend gnome-tweaks instead of gnome-tweak-tool. (Closes: #917783) -- Tobias Frost <email address hidden> Sun, 30 Dec 2018 12:14:50 +0100
Upload details
- Uploaded by:
- Tobias Frost
- Uploaded to:
- Sid
- Original maintainer:
- Tobias Frost
- Architectures:
- all
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
gnome-shell-extension-autohidetopbar_20180908-2.dsc | 2.1 KiB | 150fd16628727504d8ffeaba1cbc8ed5e6de8b810a0f3d5885aac7b09a147b18 |
gnome-shell-extension-autohidetopbar_20180908.orig.tar.xz | 15.3 KiB | 5d45528ed79b4fc9da9e592f593bca3e6b2d5d5983cc9a5e4494c7b96c3f5680 |
gnome-shell-extension-autohidetopbar_20180908-2.debian.tar.xz | 4.0 KiB | c42ea14dd6dfae49a2e3aa7a2adddb09a5a690fea7f5ede6e816e7b89cb0c538 |
Available diffs
- diff from 20180908-1 to 20180908-2 (580 bytes)
No changes file available.
Binary packages built by this source
- gnome-shell-extension-autohidetopbar: GNOME shell automatic topbar hider
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.