Show an indicator when switching workspaces

Guido Güntherrequested to merge
guidog/phoc:workspace-indicator into main

This makes !661 (merged) easier to use by displaying a small indicator when switching workspaces. Draft as we want to land !661 (merged) first.

Demo: https://ruhr.social/@agx/114966253565240694

Edited by Guido Günther

Merge request reports