Overhaul handling of font families

* Specify font families in the theme.
* Load fonts eagerly when loading themes, instead of loading
  them lazily when rendering.

Co-Authored-By: Antonio Scandurra <me@as-cii.com>
Co-Authored-By: Nathan Sobo <nathan@zed.dev>
This commit is contained in:
Max Brunsfeld
2021-08-26 15:06:00 -07:00
co-authored by Antonio Scandurra Nathan Sobo
parent ee9ee294ad
commit 3bb5610ad1
23 changed files with 438 additions and 397 deletions
+5 -7
View File
@@ -208,14 +208,12 @@ impl Pane {
Align::new(
Label::new(
title,
settings.ui_font_family,
settings.ui_font_size,
if is_active {
theme.workspace.active_tab.label.clone()
} else {
theme.workspace.tab.label.clone()
},
)
.with_style(if is_active {
&theme.workspace.active_tab.label
} else {
&theme.workspace.tab.label
})
.boxed(),
)
.boxed(),