gnome-shell-extension-workspaces-to-dock - 49-1 main

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