GitLab

Hi, this is probably more a question than a bugg but what has changed with the ui scaling? Currently the options given, small, medium, large, oversized and pixel perfect doesn't really work that well with my 4k monitor, the "Small" option is too big and the "Pixel Perfect" too small what happend to the part where you could change the scale like this for example?

C["General"]["AutoScale"] = false C["General"]["UIScale"] = 0.47

Best,