synced/coder
1
0
Fork 0
mirror of https://github.com/coder/coder.git synced 2025-07-06 15:41:45 +00:00
Code Issues Packages Projects Releases Wiki Activity

feat: install more terminal fonts (#17289)

Browse Source 
Related: https://github.com/coder/coder/issues/15024
This commit is contained in:
Marcin Tojek
2025-04-08 14:36:15 +02:00
committed by GitHub
parent 3487f37f9a
commit 88b7c9ef5d
11 changed files with 122 additions and 20 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
coderd/apidoc/docs.go generated
View File

@ -15605,12 +15605,16 @@ const docTemplate = `{
"enum": [
"",
"ibm-plex-mono",
"fira-code"
"fira-code",
"source-code-pro",
"jetbrains-mono"
],
"x-enum-varnames": [
"TerminalFontUnknown",
"TerminalFontIBMPlexMono",
"TerminalFontFiraCode"
"TerminalFontFiraCode",
"TerminalFontSourceCodePro",
"TerminalFontJetBrainsMono"
]
},
"codersdk.TimingStage": {

12
coderd/apidoc/swagger.json generated
View File

@ -14187,11 +14187,19 @@
},
"codersdk.TerminalFontName": {
"type": "string",
"enum": ["", "ibm-plex-mono", "fira-code"],
"enum": [
"",
"ibm-plex-mono",
"fira-code",
"source-code-pro",
"jetbrains-mono"
],
"x-enum-varnames": [
"TerminalFontUnknown",
"TerminalFontIBMPlexMono",
"TerminalFontFiraCode"
"TerminalFontFiraCode",
"TerminalFontSourceCodePro",
"TerminalFontJetBrainsMono"
]
},
"codersdk.TimingStage": {