Reordering workspaces?
 

Hello,

I feel that this is a very stupid question, but I cannot find how to do this: I have created a workspace when I was in #1, so it got assigned #2 (pushing the other workspaces). I would like to make it last in my list of workspaces, so that I can still use the keyboard shortcuts I was used to.

I tried to drag and drop workspaces around in the workspace manager window, but it did not work. Am I missing something here?

Thanks a lot.

The only way I've found to do it is to number them.

Ah, thanks a lot, that was enough indication for me (I never noticed they were in alphabetical order).