It turns out if you enable the otherwise amazing Gnome Tweaks " Keyboard & Mouse > Pointer Location" setting then all your keyboard shortcuts using CTRL require doubling up, took me a week to figure that one out! #Linux on the desktop.