I have attempted to reproduce the behaviour described in the description, but I see no option to rename the workspaces in the 'Preferences' menu I found by right-clicking the workspaces applet. I am going to close this report. If anyone can confirm that they are still affected by it, then please reopen it.
I have attempted to reproduce the behaviour described in the description, but I see no option to rename the workspaces in the 'Preferences' menu I found by right-clicking the workspaces applet. I am going to close this report. If anyone can confirm that they are still affected by it, then please reopen it.