diff --git a/src/common/user-store/preferences-helpers.ts b/src/common/user-store/preferences-helpers.ts index fd825589ff..a816bc43da 100644 --- a/src/common/user-store/preferences-helpers.ts +++ b/src/common/user-store/preferences-helpers.ts @@ -26,7 +26,7 @@ export const defaultEditorConfig: EditorConfiguration = { tabSize: 2, lineNumbers: "on", fontSize: 22, - fontFamily: "Verdana", + fontFamily: defaultFontFamily, minimap: { enabled: true, side: "right", diff --git a/src/common/vars.ts b/src/common/vars.ts index 4a54c6bc50..f677bd21e9 100644 --- a/src/common/vars.ts +++ b/src/common/vars.ts @@ -27,7 +27,7 @@ export const appName = `${packageInfo.productName}${isDevelopment ? "Dev" : ""}` export const publicPath = "/build/" as string; export const defaultTheme = "lens-dark" as string; export const defaultFontSize = 10; -export const defaultFontFamily = "Verdana"; +export const defaultFontFamily = "RobotoMono"; // Webpack build paths export const contextDir = process.cwd(); diff --git a/src/renderer/components/+preferences/terminal.tsx b/src/renderer/components/+preferences/terminal.tsx index 2942f8b27e..2d4b4b8fe7 100644 --- a/src/renderer/components/+preferences/terminal.tsx +++ b/src/renderer/components/+preferences/terminal.tsx @@ -77,6 +77,7 @@ export const Terminal = observer(() => { ...terminalSettings, terminalFontSize: Number(value), })} + onBlur={() => userStore.terminalFontSize = terminalSettings.terminalFontSize} />
@@ -89,6 +90,7 @@ export const Terminal = observer(() => { ...terminalSettings, terminalFontFamily: value.toString(), })} + onBlur={() => userStore.terminalFontFamily = terminalSettings.terminalFontFamily} />
); diff --git a/src/renderer/components/dock/terminal/terminal.ts b/src/renderer/components/dock/terminal/terminal.ts index 39b42d6521..9231e00c9c 100644 --- a/src/renderer/components/dock/terminal/terminal.ts +++ b/src/renderer/components/dock/terminal/terminal.ts @@ -11,7 +11,7 @@ import type { DockStore, TabId } from "../dock-store/dock.store"; import { TerminalApi, TerminalChannels } from "../../../api/terminal-api"; import { ThemeStore } from "../../../theme.store"; import { disposer } from "../../../utils"; -import { isMac } from "../../../../common/vars"; +import { isMac, defaultFontFamily } from "../../../../common/vars"; import { once } from "lodash"; import { UserStore } from "../../../../common/user-store"; import { clipboard } from "electron"; @@ -37,8 +37,8 @@ export class Terminal { private xterm: XTerm | null = new XTerm({ cursorBlink: true, cursorStyle: "bar", - fontSize: 13, - fontFamily: "RobotoMono", + fontSize: UserStore.getInstance().terminalFontSize || 22, + fontFamily: UserStore.getInstance().terminalFontFamily || defaultFontFamily, }); private readonly fitAddon = new FitAddon(); private scrollPos = 0;