hendrik/lens
1
0
Fork 0
mirror of https://github.com/lensapp/lens.git synced 2025-05-20 05:10:56 +00:00
Code Issues Projects Releases Wiki Activity

Cleanup

Browse Source 
Signed-off-by: DMYTRO ZHARKOV <dmytrozharkov@DMYTROs-MBP.fritz.box>
This commit is contained in:
DMYTRO ZHARKOV 2022-01-14 15:09:00 +01:00
parent 402eb53aea
commit f4995e004a
4 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/common/user-store/preferences-helpers.ts
View File

@ -26,7 +26,7 @@ export const defaultEditorConfig: EditorConfiguration = {
tabSize: 2, tabSize: 2,
lineNumbers: "on", lineNumbers: "on",
fontSize: 22, fontSize: 22,
fontFamily: "Verdana", fontFamily: defaultFontFamily,
minimap: { minimap: {
enabled: true, enabled: true,
side: "right", side: "right",

2
src/common/vars.ts
View File

@ -27,7 +27,7 @@ export const appName = `${packageInfo.productName}${isDevelopment ? "Dev" : ""}`
export const publicPath = "/build/" as string; export const publicPath = "/build/" as string;
export const defaultTheme = "lens-dark" as string; export const defaultTheme = "lens-dark" as string;
export const defaultFontSize = 10; export const defaultFontSize = 10;
export const defaultFontFamily = "Verdana"; export const defaultFontFamily = "RobotoMono";
// Webpack build paths // Webpack build paths
export const contextDir = process.cwd(); export const contextDir = process.cwd();

2
src/renderer/components/+preferences/terminal.tsx
View File

@ -77,6 +77,7 @@ export const Terminal = observer(() => {
...terminalSettings, ...terminalSettings,
terminalFontSize: Number(value), terminalFontSize: Number(value),
})} })}
onBlur={() => userStore.terminalFontSize = terminalSettings.terminalFontSize}
/> />
</section> </section>
<section> <section>
@ -89,6 +90,7 @@ export const Terminal = observer(() => {
...terminalSettings, ...terminalSettings,
terminalFontFamily: value.toString(), terminalFontFamily: value.toString(),
})} })}
onBlur={() => userStore.terminalFontFamily = terminalSettings.terminalFontFamily}
/> />
</section> </section>
</div>); </div>);

6
src/renderer/components/dock/terminal/terminal.ts
View File

@ -11,7 +11,7 @@ import type { DockStore, TabId } from "../dock-store/dock.store";
import { TerminalApi, TerminalChannels } from "../../../api/terminal-api"; import { TerminalApi, TerminalChannels } from "../../../api/terminal-api";
import { ThemeStore } from "../../../theme.store"; import { ThemeStore } from "../../../theme.store";
import { disposer } from "../../../utils"; import { disposer } from "../../../utils";
import { isMac } from "../../../../common/vars"; import { isMac, defaultFontFamily } from "../../../../common/vars";
import { once } from "lodash"; import { once } from "lodash";
import { UserStore } from "../../../../common/user-store"; import { UserStore } from "../../../../common/user-store";
import { clipboard } from "electron"; import { clipboard } from "electron";
@ -37,8 +37,8 @@ export class Terminal {
private xterm: XTerm | null = new XTerm({ private xterm: XTerm | null = new XTerm({
cursorBlink: true, cursorBlink: true,
cursorStyle: "bar", cursorStyle: "bar",
fontSize: 13, fontSize: UserStore.getInstance().terminalFontSize || 22,
fontFamily: "RobotoMono", fontFamily: UserStore.getInstance().terminalFontFamily || defaultFontFamily,
}); });
private readonly fitAddon = new FitAddon(); private readonly fitAddon = new FitAddon();
private scrollPos = 0; private scrollPos = 0;