Add ui_font_size setting (#3199)

This PR adds a new `ui_font_size` setting that can be used to control the scale of the entire UI. We use the value in this setting to set the base rem size of the window. Release Notes: - N/A
2023-11-01 13:11:12 -04:00
parent bd61d71018
commit b910bbf002
12 changed files with 58 additions and 50 deletions
@@ -9666,6 +9666,7 @@ dependencies = [
 "itertools 0.11.0",
 "rand 0.8.5",
 "serde",
+ "settings2",
 "smallvec",
 "strum",
 "theme2",