Senior Web Engineer. Open web / music. Remote DJ. Tall Dutch guy. #3million
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.