gnome-shell-extension-autohidetopbar 20201005-1 source package in Ubuntu

Changelog

gnome-shell-extension-autohidetopbar (20201005-1) unstable; urgency=medium

  * New upstream git snapshot that should work with Gnome 3.38.
    (Closes: #971671, #971635)

 -- Tobias Frost <email address hidden>  Mon, 05 Oct 2020 16:22:00 +0200

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
Groovy release universe misc

Builds

Groovy: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
gnome-shell-extension-autohidetopbar_20201005-1.dsc 2.1 KiB b7b3d506c19619b5708a1bcafdf1d04a638306ae1fb7b848eb3690d02e76c64d
gnome-shell-extension-autohidetopbar_20201005.orig.tar.xz 24.8 KiB ca01f65cb44502f790ff63101e42beab3ecc74e6295574a6f72c20a4f16a13a5
gnome-shell-extension-autohidetopbar_20201005-1.debian.tar.xz 4.6 KiB 07f7aa6d93b70ced851952851cc9d5fd0e5b66c4d341a24b1503df714ac85c8b

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.