GNOME Workspace Dots
GNOME-style dynamic workspace dots: a pill for the active workspace, dots for occupied ones, and a dim dot for the next workspace you can move to.
kingokeke
Records that name kingokeke as author. Nothing here is inferred from a screenshot.