Thierry Crozat ad31dfc8d5 GUI: Handle the GUI Scale option as a scaling rather than base resolution
Now that we can get an accurate HiDPI screen scaling from OSystem,
defaulting to using that seems to make sense. But we may still want
to use a slightly different scaling. The GUI scale option allows
that by providing a scaling (in percentage) with which to multiply
the HiDPI scaling.

I think it works better than a base resolution as it avoids having
the GUI getting bigger or smaller when we resize the window.

This commit keeps a popup widget, but this could be changed with
 a slider if we want more fine grain control.
2021-08-13 21:41:33 +01:00
..
2021-08-08 23:21:12 +02:00
2021-07-11 11:16:54 +03:00
2021-07-11 11:16:54 +03:00