Skip to content

Commit 7e47e3c

Browse files
committed
fix: change default fontSizeAdjust in Terminal to 16/14
1 parent 21eef6c commit 7e47e3c

File tree

1 file changed

+3
-2
lines changed

1 file changed

+3
-2
lines changed

Diff for: plugins/plugin-codeflare/src/components/Terminal.tsx

+3-2
Original file line numberDiff line numberDiff line change
@@ -53,7 +53,7 @@ export type TerminalOptions = ClassName & {
5353
/** Show search ui? [default: true] */
5454
searchable?: boolean
5555

56-
/** Font size scaling factor from the stock font size from Kui [default: 1] */
56+
/** Font size scaling factor from the stock font size from Kui [default: 16/14] */
5757
fontSizeAdjust?: number
5858
}
5959

@@ -265,7 +265,8 @@ export default class XTerm extends React.PureComponent<Props, State> {
265265
const standIn = document.querySelector("body .repl")
266266
if (standIn) {
267267
const fontTheme = getComputedStyle(standIn)
268-
xterm.options.fontSize = parseInt(fontTheme.fontSize.replace(/px$/, ""), 10) * (this.props.fontSizeAdjust || 1)
268+
xterm.options.fontSize =
269+
parseInt(fontTheme.fontSize.replace(/px$/, ""), 10) * (this.props.fontSizeAdjust || 16 / 14)
269270
// terminal.setOption('lineHeight', )//parseInt(fontTheme.lineHeight.replace(/px$/, ''), 10))
270271

271272
// FIXME. not tied to theme

0 commit comments

Comments
 (0)