From 3c320887d33c80b1bd65fcb93e5ca65a0dc513f1 Mon Sep 17 00:00:00 2001 From: Amarsh Anand Date: Tue, 3 Oct 2023 14:40:06 -0700 Subject: [PATCH] finding sessions settings in main --- src/common/terminal/term.ts | 1 - src/plugins/code/index.tsx | 2 -- src/terminal/term.ts | 1 - 3 files changed, 4 deletions(-) diff --git a/src/common/terminal/term.ts b/src/common/terminal/term.ts index 9707b579..a6518448 100644 --- a/src/common/terminal/term.ts +++ b/src/common/terminal/term.ts @@ -90,7 +90,6 @@ class TermWrap { cols: this.termSize.cols, fontSize: opts.fontSize, theme: { foreground: terminal.foreground, background: terminal.background }, - /*fontFamily: "JetBrains Mono", @check:font */ }); this.terminal._core._inputHandler._parser.setErrorHandler((state) => { this.numParseErrors++; diff --git a/src/plugins/code/index.tsx b/src/plugins/code/index.tsx index e81f70fa..cc376d05 100644 --- a/src/plugins/code/index.tsx +++ b/src/plugins/code/index.tsx @@ -408,7 +408,6 @@ class SourceCodeRenderer extends React.Component< className="message" style={{ fontSize: GlobalModel.termFontSize.get(), - /* fontFamily: "JetBrains Mono", @check:font */ background: `${this.state.message.status === "error" ? "red" : "#4e9a06"}`, }} > @@ -435,7 +434,6 @@ class SourceCodeRenderer extends React.Component< className="renderer-container code-renderer" style={{ fontSize: GlobalModel.termFontSize.get(), - /* fontFamily: "JetBrains Mono", @check:font */ color: "white", }} > diff --git a/src/terminal/term.ts b/src/terminal/term.ts index f8c57610..2ec3d3d0 100644 --- a/src/terminal/term.ts +++ b/src/terminal/term.ts @@ -88,7 +88,6 @@ class TermWrap { rows: this.termSize.rows, cols: this.termSize.cols, fontSize: opts.fontSize, - /*fontFamily: "JetBrains Mono", @check:font */ }); this.terminal._core._inputHandler._parser.setErrorHandler((state) => { this.numParseErrors++;