Author: Martin Hairer
Source
In the “number, dates and time” system settings, do you happen to have selected periods “.” as the separator for thousands? It looks like this confuses the system widget managing the drop-down menu, which may well be an operating system bug as far as I can tell… Changing it to spaces or commas should work.
Statistics: Posted by Martin Hairer — Sat Jun 03, 2023 6:57 pm