|
|
e5fc8314f5
|
Added a ui_scale, and ui_scale_touch setting. The default for ui_scale is 1.3, which makes every ui element smaller when not in touchscreen mode.
|
2020-08-03 13:29:45 +02:00 |
|
|
|
2b0c4821e2
|
Added AdaptiveTheme, it modifies the margins in the ui's theme. Removed AdaptiveButton.
|
2020-06-15 19:27:49 +02:00 |
|
|
|
483c50dfac
|
Added a touchscreen mode setting, and an AdaptiveButton that will set it's own min size if the setting is enabled. I did not replace all buttons yet, just made sure everything looks consistent. Also smaller theme improvements.
|
2020-06-15 18:37:51 +02:00 |
|
|
|
ff0c2f362c
|
Implemented different row scenes for the options menu, and exposed/implemented a few video-related options.
|
2019-12-25 01:36:34 +01:00 |
|
|
|
8559193d21
|
The ui.
|
2019-11-20 14:30:34 +01:00 |
|
