gnome-shell-extension-workspaces-to-dock binary package in Ubuntu Focal armhf

 A GNOME Shell extension that transforms the workspaces of the overview
 mode into an intelligent dock.
 .
 It adds extra features to the workspaces area including:
 .
  - Multiple display preferences
  - Select which side of display to keep workspaces
  - Adjust size of workspace area
  - Adjust background and colours
  - Adjust autohide behaviour
  - Display window icons in thumbnail area

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2020-04-18 00:43:24 UTC Published Ubuntu Focal armhf release universe gnome Optional 52+git20200318-1
  • Published
  • Copied from ubuntu focal-proposed amd64 in Primary Archive for Ubuntu
  Deleted Ubuntu Focal armhf proposed universe gnome Optional 52+git20200318-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-18 00:43:25 UTC Superseded Ubuntu Focal armhf release universe gnome Optional 52-1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of gnome-shell-extension-workspaces-to-dock 52+git20200318-1 in ubuntu focal PROPOSED
  • Published
  • Copied from ubuntu eoan-proposed amd64 in Primary Archive for Ubuntu