mirror of
https://github.com/zed-industries/zed.git
synced 2024-12-28 20:01:33 +00:00
Add .SystemUIFont
to font list (#15340)
As discussed in #15326, this font name should be included in the font list since `settings.json` indicates that one can set the font to `.SystemUIFont`. Release Notes: - N/A Co-authored-by: Marshall Bowers <elliott.codes@gmail.com>
This commit is contained in:
parent
d3d0c043f5
commit
60af9dd4b1
1 changed files with 1 additions and 0 deletions
|
@ -84,6 +84,7 @@ impl TextSystem {
|
|||
.iter()
|
||||
.map(|font| font.family.to_string()),
|
||||
);
|
||||
names.push(".SystemUIFont".to_string());
|
||||
names.sort();
|
||||
names.dedup();
|
||||
names
|
||||
|
|
Loading…
Reference in a new issue