Re: workspace switcher : minor feature request