Take the 2-minute tour ×
Super User is a question and answer site for computer enthusiasts and power users. It's 100% free, no registration required.

The Workspace switcher is hard-coded to Ctrl-F1 .. Ctrl-F4 in Mint. I would like to change that to Super-F1 ..., but I do not even know where that is configured.

Is this possible? How? With the keyboard editor (gui), there is no option to set the Workspace switcher shortcuts.

share|improve this question

2 Answers 2

In is configured in Setting / Window Manager / Keyboard.

Unfortunately I cannot do anything with default shortcuts in Mint 17.1 Xfce - see my answer here how I modified it manually.

share|improve this answer

I believe you go to the settings manager, key board, and go to application shortcuts. PS. You also helped me to know the key binding, I don't understand the command based shortcut manager too well, thanks!

share|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.