GuanM/tabby
1
0
Fork 0
mirror of https://github.com/Eugeny/tabby.git synced 2025-10-04 14:04:56 +00:00
Code Issues Packages Projects Releases Wiki Activity

bumped xterm

Browse Source
This commit is contained in:
Eugene Pankov
2020-01-14 11:57:17 +01:00
parent 37044fbb01
commit 1c8288bfe1
3 changed files with 16 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
terminus-terminal/src/frontends/xtermFrontend.ts
View File

@@ -23,6 +23,7 @@ export class XTermFrontend extends Frontend {
protected enableWebGL = false
private xterm: Terminal
private configuredFontSize = 0
private configuredLinePadding = 0
private zoom = 0
private resizeHandler: () => void
private configuredTheme: ITheme = {}
@@ -208,6 +209,7 @@ export class XTermFrontend extends Frontend {
this.xterm.setOption('macOptionIsMeta', config.terminal.altIsMeta)
this.xterm.setOption('scrollback', 100000)
this.configuredFontSize = config.terminal.fontSize
this.configuredLinePadding = config.terminal.linePadding
this.setFontSize()
this.copyOnSelect = config.terminal.copyOnSelect
@@ -247,7 +249,10 @@ export class XTermFrontend extends Frontend {
}
private setFontSize () {
this.xterm.setOption('fontSize', this.configuredFontSize * Math.pow(1.1, this.zoom))
const scale = Math.pow(1.1, this.zoom)
this.xterm.setOption('fontSize', this.configuredFontSize * scale)
// eslint-disable-next-line @typescript-eslint/restrict-plus-operands
this.xterm.setOption('lineHeight', (this.configuredFontSize + this.configuredLinePadding * 2) / this.configuredFontSize * scale)
this.resizeHandler()
}