Using alternate key combinations does not remove the default one

[martincook3]

The default Ctrl+Alt+n shortcuts conflict with OneNote's shortcuts for Header styles, which are not configurable. I set VirtualDesktopManager to use the alternate Shift+Alt+ combination, which is working, but the Ctrl+Alt+ combination is still active as well. An alternate combination should replace the original.

[scytho]

I had to remove the app, because on a German keyboard you need AltGR (Ctrl + right Alt, I think) for: ²³{[]}. ²³{[] (AltGR+2/3/7/8/9) don't work while VDM is running, and I really need {[]}. AltGr+1–9 switches between Desktops.

The strange thing is: It did work completely fine for many months, maybe even over a year, but stopped a few days ago.