Cinnamon - no workspace name when switching through shortcut

[fransje]

Hi there,

I have a small "issue" with Cinnamon I didn't manage to solve. When I switch workspace with ctrl + alt + arrows, for a short while I get the workspace name displayed, which is what I want. However, when I jump directly to a certain workspace -with a keyboard shortcut set under Keyboard -> Keyboard shortcuts -> Workspace management- I don't get the workspace name I jumped to, which I find annoying..

Would anybody know how to change this?

Thanks a lot!

Francois.

[fransje]

bump?