Fixed some font issues
This commit is contained in:
1 parent
3f11f64135
commit
f341226d0b
5 files changed
+41
-20
No files matched your search
@@ -43,8 +43,8 @@ in
|
||||
# config.set("completion.web_history.max_items", 30)
|
||||
config.set("colors.webpage.darkmode.enabled", False)
|
||||
config.set("colors.webpage.preferred_color_scheme", "${if theme.darkMode then "dark" else "light"}")
|
||||
config.set("fonts.default_family", "${theme.fonts.monospace.name}")
|
||||
config.set("fonts.default_size", "${toString theme.fonts.monospace.recommendedSize}pt")
|
||||
config.set("fonts.default_family", "${theme.fonts.interface.name}")
|
||||
config.set("fonts.default_size", "${toString theme.fonts.interface.recommendedSize}pt")
|
||||
'';
|
||||
};
|
||||
};
|
||||
|
||||
Reference in new issue
Block a user