October 24, 2020 at 10:36 am #3273
Niels Krogh MortensenNiels
Keymaster

OK, noted. We can put an option for that in preferences, when we get to that at some point pretty soon. Thanks, Morfy.