Under OSX keyboard ctrl-left ctrl-right shortcuts cannot be used for slider
@mottelet)
Reported by Stéphane MOTTELET (Under OSX keyboard ctrl-left and ctrl-right shortcuts cannot be used for moving the slider value by a big step, because they are mapped to Desktop switch. Under OSX these ctrl-key shortcuts should be changed by command-key shortcuts as it is done for copy, paste and menu shortcuts.