Patch committed in the trunk, revision 11131.
Ctrl+Alt shortcuts may not be a very good choice due to windows managers interactions (Ctrl+Alt+L locks screen on Ubuntu...). I'll try to find better free shortcuts.
Patch committed in the trunk, revision 11131.
Ctrl+Alt shortcuts may not be a very good choice due to windows managers interactions (Ctrl+Alt+L locks screen on Ubuntu...).
I'll try to find better free shortcuts.