Ubuntu
gnome-shell-extension-autohidetopbar package

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 Pocket Published Component Section

Builds

Disco: [FULLYBUILT] amd64

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

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.