December 17, 2021 at 6:44 am #4178 NielsKeymaster By the way – are you using Ctrl-Alt on the left side or right side of your keyboard? It sounds silly, but it could actually make a difference.
