synced/coder
1
0
Fork 0
mirror of https://github.com/coder/coder.git synced 2025-07-12 00:14:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

feat: support multiple terminal fonts (#17257)

Browse Source 
Fixes: https://github.com/coder/coder/issues/15024
This commit is contained in:
Marcin Tojek
2025-04-07 14:30:10 +02:00
committed by GitHub
parent 30f41cdd42
commit 743d308eb3
29 changed files with 815 additions and 230 deletions
Download Patch File Download Diff File Expand all files Collapse all files

32
docs/reference/api/schemas.md generated
View File

@ -6717,6 +6717,22 @@ Restarts will only happen on weekdays in this list on weeks which line up with W
|--------------------------|
| `UNSUPPORTED_WORKSPACES` |
## codersdk.TerminalFontName
```json
""
```
### Properties
#### Enumerated Values
| Value |
|-----------------|
| `` |
| `ibm-plex-mono` |
| `fira-code` |
## codersdk.TimingStage
```json
@ -6914,15 +6930,17 @@ Restarts will only happen on weekdays in this list on weeks which line up with W
```json
{
"terminal_font": "",
"theme_preference": "string"
}
```
### Properties
| Name | Type | Required | Restrictions | Description |
|--------------------|--------|----------|--------------|-------------|
| `theme_preference` | string | true | | |
| Name | Type | Required | Restrictions | Description |
|--------------------|--------------------------------------------------------|----------|--------------|-------------|
| `terminal_font` | [codersdk.TerminalFontName](#codersdkterminalfontname) | true | | |
| `theme_preference` | string | true | | |
## codersdk.UpdateUserNotificationPreferences
@ -7265,15 +7283,17 @@ If the schedule is empty, the user will be updated to use the default schedule.|
```json
{
"terminal_font": "",
"theme_preference": "string"
}
```
### Properties
| Name | Type | Required | Restrictions | Description |
|--------------------|--------|----------|--------------|-------------|
| `theme_preference` | string | false | | |
| Name | Type | Required | Restrictions | Description |
|--------------------|--------------------------------------------------------|----------|--------------|-------------|
| `terminal_font` | [codersdk.TerminalFontName](#codersdkterminalfontname) | false | | |
| `theme_preference` | string | false | | |
## codersdk.UserLatency

3
docs/reference/api/users.md generated
View File

@ -501,6 +501,7 @@ curl -X GET http://coder-server:8080/api/v2/users/{user}/appearance \
```json
{
"terminal_font": "",
"theme_preference": "string"
}
```
@ -531,6 +532,7 @@ curl -X PUT http://coder-server:8080/api/v2/users/{user}/appearance \
```json
{
"terminal_font": "",
"theme_preference": "string"
}
```
@ -548,6 +550,7 @@ curl -X PUT http://coder-server:8080/api/v2/users/{user}/appearance \
```json
{
"terminal_font": "",
"theme_preference": "string"
}
```