Install gnome-shell-extension-workspaces-to-dock by entering the following commands in the terminal:
sudo apt update sudo apt install gnome-shell-extension-workspaces-to-dock
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
Homepage: https://github.com/passingthru67/workspaces-to-dock
Version: 44-1
Section: universe/gnome