From 6610563241a9fde3bcdee767183085888e9dab11 Mon Sep 17 00:00:00 2001 From: Eugene Pankov Date: Wed, 19 Jun 2019 17:27:08 +0200 Subject: [PATCH] possible fix for #729 --- terminus-terminal/src/frontends/xtermFrontend.ts | 1 + 1 file changed, 1 insertion(+) diff --git a/terminus-terminal/src/frontends/xtermFrontend.ts b/terminus-terminal/src/frontends/xtermFrontend.ts index 462ef34e..f4cb499d 100644 --- a/terminus-terminal/src/frontends/xtermFrontend.ts +++ b/terminus-terminal/src/frontends/xtermFrontend.ts @@ -232,6 +232,7 @@ export class XTermFrontend extends Frontend { private setFontSize () { this.xterm.setOption('fontSize', this.configuredFontSize * Math.pow(1.1, this.zoom)) + this.resizeHandler() } private getSelectionAsHTML (): string {