feat: Add GeistMono Nerd Font to available mono font options (#13720)

This commit is contained in:
Brandon Julio Thenaro 2026-02-15 20:44:21 +07:00 committed by GitHub
commit 985c2a3d15
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
19 changed files with 25 additions and 0 deletions

View file

@ -128,6 +128,7 @@ export const SettingsGeneral: Component = () => {
{ value: "roboto-mono", label: "font.option.robotoMono" },
{ value: "source-code-pro", label: "font.option.sourceCodePro" },
{ value: "ubuntu-mono", label: "font.option.ubuntuMono" },
{ value: "geist-mono", label: "font.option.geistMono" },
] as const
const fontOptionsList = [...fontOptions]