No matches were found for subject:"\[Bug 2042350\] \[NEW\] When switching workspaces with mouse, no dot in indicator"