Source: gnome-shell-extension-workspaces-to-dock Section: gnome Priority: optional Maintainer: Debian GNOME Maintainers Uploaders: Jonathan Carter Build-Depends: debhelper (>= 11), libglib2.0-bin Standards-Version: 4.2.1 Homepage: https://github.com/passingthru67/workspaces-to-dock Vcs-Git: https://salsa.debian.org/gnome-team/shell-extensions/gnome-shell-extension-workspaces-to-dock.git Vcs-Browser: https://salsa.debian.org/gnome-team/shell-extensions/gnome-shell-extension-workspaces-to-dock Package: gnome-shell-extension-workspaces-to-dock Architecture: all Depends: ${misc:Depends}, gnome-shell (>= 3.30) Description: additional options for GNOME workspace switcher 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