1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
Source: gnome-shell-extension-workspaces-to-dock
Section: gnome
Priority: optional
Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>
Uploaders: Jonathan Carter <jcc@debian.org>
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
|
