Feature request: switch desktops using the mouse

[mbert]

Currently there's keyboard shorctuts. But I haven't seen any menu or other kind of GUI control for this. Have I just missed something?

[trunkmaster]

There's no such ability. Do not hesitate to answer some questions:

• Do you really need this?
• Where do you expect to find this functionality?
• Why there?

[mbert]

Let's put it like this: it would be nice to have. But nothing critical. I find the way Window Maker integrates this quite nice (it's a bit like a second dock that can be moved around freely and has at its anchor icon clickable edges), but one could also think of a "pager" widget. If one decides to implement this. I am mostly a keyboard person (that's also why more configuration options for shortcuts would be much higher on my list). But sometimes a GUI for switching is handy.

[mbert]

On a second thought: why not just add a submenu "Desktops" to the Workspace Manager's main menu? That seems pretty consistent with the general philosophy to me.