Ben

### Description of the new feature / enhancement After the update, I experienced an unpleasant phenomenon where the ctrl+space keyboard shortcut stopped working. I use it a lot to invoke...