From 60af9dd4b152bfdcd590fd04f55e53532d69036d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E5=BC=A0=E5=B0=8F=E7=99=BD?= <364772080@qq.com>
Date: Tue, 27 Aug 2024 21:23:24 +0800
Subject: [PATCH] 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>
---
 crates/gpui/src/text_system.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/crates/gpui/src/text_system.rs b/crates/gpui/src/text_system.rs
index fa564f8097..c946fe9e1e 100644
--- a/crates/gpui/src/text_system.rs
+++ b/crates/gpui/src/text_system.rs
@@ -84,6 +84,7 @@ impl TextSystem {
                 .iter()
                 .map(|font| font.family.to_string()),
         );
+        names.push(".SystemUIFont".to_string());
         names.sort();
         names.dedup();
         names