gnome-shell-extension-autohidetopbar binary package in Ubuntu Focal armhf

 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 Pocket Component Section Priority Phased updates Version
  2020-04-10 05:53:33 UTC Published Ubuntu Focal armhf release universe gnome Optional 20200322-1
  • Published
  • Copied from ubuntu focal-proposed amd64 in Primary Archive for Ubuntu
  Deleted Ubuntu Focal armhf proposed universe gnome Optional 20200322-1
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  • Copied from ubuntu focal-proposed amd64 in Primary Archive for Ubuntu
  2020-04-10 05:54:48 UTC Superseded Ubuntu Focal armhf release universe gnome Optional 20190913-1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of gnome-shell-extension-autohidetopbar 20200322-1 in ubuntu focal PROPOSED
  • Published
  • Copied from ubuntu focal-proposed amd64 in Primary Archive for Ubuntu
  2020-04-11 06:10:10 UTC Deleted Ubuntu Focal armhf proposed universe gnome Optional 20190913-1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  • Copied from ubuntu focal-proposed amd64 in Primary Archive for Ubuntu
  2019-10-28 01:23:23 UTC Superseded Ubuntu Focal armhf release universe gnome Optional 20180908-2
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of gnome-shell-extension-autohidetopbar 20190913-1 in ubuntu focal PROPOSED
  • Published
  • Copied from ubuntu disco-proposed amd64 in Primary Archive for Ubuntu