@tbernard ohh, neat! although i don't like how the active workspace is just a little bit bigger in height than the other dots. i think it'd look better (especially in low resolutions where the height would only be, idk, 4px bigger) if the height would be equal - but maybe it is, idk if the gif represents the animation accurately (haven't gotten to try the extension)