NOT MAINTAINED ANYMORE PLEASE USE: https://extensions.gnome.org/extension/6556/task-up/ (Babar-like) OR https://extensions.gnome.org/extension/5143/dashbar/ (Dash-like) Task bar. App grid, favorites, workspaces and tasks in panel. Light extension. Replace 'Activities' button by all current workspaces and apps buttons. Switch workspace/app or toggle overview by clicking on these buttons. Drag and drop favorite, task, dash item or app grid item to any workspace (you cannot reorder tasks inside a workspace). Change 'Places' label to an icon. No settings, use BaBar classic for that. You can use names for workspaces: there are two ways for that. 1) Edit the string array 'org.gnome.desktop.wm.preferences.workspace-names' gsettings key (through dconf editor, e.g.). 2) Use official GNOME extension Workspaces Indicator's settings. You don't have to write a long enough list: numbers are displayed if no workspace name is defined.

Extension Homepage

https://github.com/fthx/babar-lite