WorkspaceBar is a GNOME Shell extension that will implement a GNOME 2-like workspace switcher on the GNOME panel. To access its preferences, right-click on it.

To install this extension you must have GNOME Shell installed or Cinnamon. However, keep in mind that it has not been tested with Cinnamon.