feat(settings): add terminal font size controls (#294)

* feat(settings): add terminal font size configuration

* chore(desktop): drop terminal font size setting
This commit is contained in:
shekohex
2026-02-04 16:32:25 +02:00
committed by GitHub
parent ea0deec14d
commit def6257985
9 changed files with 106 additions and 6 deletions
+6
View File
@@ -228,6 +228,9 @@ const applyDesktopUiPreferences = (settings: DesktopSettings) => {
if (typeof settings.fontSize === 'number' && Number.isFinite(settings.fontSize) && settings.fontSize !== store.fontSize) {
store.setFontSize(settings.fontSize);
}
if (typeof settings.terminalFontSize === 'number' && Number.isFinite(settings.terminalFontSize) && settings.terminalFontSize !== store.terminalFontSize) {
store.setTerminalFontSize(settings.terminalFontSize);
}
if (typeof settings.padding === 'number' && Number.isFinite(settings.padding) && settings.padding !== store.padding) {
store.setPadding(settings.padding);
}
@@ -376,6 +379,9 @@ const sanitizeWebSettings = (payload: unknown): DesktopSettings | null => {
if (typeof candidate.fontSize === 'number' && Number.isFinite(candidate.fontSize)) {
result.fontSize = candidate.fontSize;
}
if (typeof candidate.terminalFontSize === 'number' && Number.isFinite(candidate.terminalFontSize)) {
result.terminalFontSize = candidate.terminalFontSize;
}
if (typeof candidate.padding === 'number' && Number.isFinite(candidate.padding)) {
result.padding = candidate.padding;
}