Workspaces to Dock 1.0

Workspaces to Dock is a GNOME Shell extension that implements an intellihide dock. It replaces the normal workspaces of the GNOME overview mode.To install this extension you must have GNOME Shell installed or Cinnamon. However, keep in mind that it...