Ubuntu
gnome-shell-extension-autohidetopbar package

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

Changelog

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

  * New upstream git snapshot.
  * Drop d/compat in favour of BD'ing on debhelper-compat.
  * Bump S-V, no changes required

 -- Tobias Frost <email address hidden>  Sun, 27 Oct 2019 18:05:57 +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

Focal: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
gnome-shell-extension-autohidetopbar_20190913-1.dsc 2.1 KiB 75f290b93d998bbced98792474202303b957cd7f2c7ae92be764dcb39748ce6a
gnome-shell-extension-autohidetopbar_20190913.orig.tar.xz 15.4 KiB 822d5dad995e24177bb1a93af491e002974b33959510382c1e90d9953cc25d71
gnome-shell-extension-autohidetopbar_20190913-1.debian.tar.xz 4.0 KiB cbd8a15e82e9f473cb7c722f8a805fa66d54683ee8728dde4566b9f1c401d8ed

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.