workspace switcher : minor feature request