Mapping ctrl+space to no highlight