Sign up
View stargazers0Sign up

Add ui_font settings and set default rem size accordingly (#3346)

[[PR Description]]
- Adds ui_font_family, ui_font_features, ui_font_size to settings and
default settings
- Use the new ui font settings to set the rem size when the workspace is
created.

Release Notes:

- N/A
a526f23c81Nate Butler committed on 11/16/2023, 8:40:33 PM· committed by GitHubparentsb559bfdffd092a
5 files changedLine totals unavailable