Add accessible interface font choices (#1306)

2026-08-30 02:41:34 +00:00 · 2026-08-24 01:08:03 +08:00
parent f1226b1f1b
commit 5e76aec2bf
8 changed files with 119 additions and 4 deletions
@@ -357,6 +357,12 @@ export type ThemeId =
  | "one-dark"
  | "gruvbox";
 export type FontSizeId = "xs" | "sm" | "md" | "lg" | "xl";
+export type UiFontId =
+  | "jetbrains-mono"
+  | "system-sans"
+  | "fira-code"
+  | "source-code-pro"
+  | "caskaydia-cove";

 export type ToolsTab =
  "ssh-tools" | "snippets" | "macros" | "history" | "split-screen";