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