Changing Text in Windlist Menu

[neu5eeCh]

Right now, the Windowlist Menu says:

Workspace 1
Workspace 2
Workspace 3
etc...

I want it to simply say:

1
2
3
etc...

I already know it's a workspace. I can't, for the life of me, figure out where to change this text. I've "grepped" but come up empty-handed. Point me in the right direction and help me mark another thread Solved. :)

[Toz]

Have a look at Settings Manager -> Workspaces. Double-click (or 2 single clicks) on the existing workspace name will allow you to edit the workspace name.

[neu5eeCh]

Doh!!!!