With gnome 45 the gnome community get a new awesome builtin workspace switcher. This extension does not have any reason to exist.

Workspace indicator

Horizontal workspace indicator shows the amount of opened workspaces and highlights the current one using unicode characters. You can use it as an indicator only but widget is clickable. Left button click: move to left, right click: move right. Middle click calls overview.

Compatibility

This extension is written for Wayland.

How it looks like

Example with for opened workspaces where the second one is current:

Circle symbols:

○●○○

Line symbols:

ǀ┃ǀǀ

Screenshot with the same situation:

Three dots on the left side of the top bar.

Known issues

1. If your indicator looks different from one on screen shot, install DejaVu Sans or Ubuntu font.

2. There could be an error with the extension after update. The solution is to logout and login again.