The source project of this merge request has been removed.
Change "workspace switcher" to "workspace selector"
I am not sure if there is a diffenrence between "workspace switcher" and "workspace selector" but it seems "workspace selector" is used in other strings.