added the ctrl-space plugin