replace default key for Ctrl-Space