I still think that the solution I proposed is the best,. Remember that the launcher items have padding and wouldn't have the same quick function as the workspace switcher has in my design, but you are more than welcome submit a bug report of your own :)
I still think that the solution I proposed is the best,. Remember that the launcher items have padding and wouldn't have the same quick function as the workspace switcher has in my design, but you are more than welcome submit a bug report of your own :)