possible fix for #729

This commit is contained in:
Eugene Pankov 2019-06-19 17:27:08 +02:00
parent f279f1a1e5
commit 6610563241

View File

@ -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 {