From f157dbe9d3c21febbc4ab299c1f8d3573405c8cb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=B8ren=20L=2E=20Hansen?= Date: Sun, 4 Jul 2021 13:37:24 -0700 Subject: [PATCH] Apply font size and family in xterm Mostly fixes #21 --- js/src/xterm.ts | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/js/src/xterm.ts b/js/src/xterm.ts index eeebca6..ad7f26e 100644 --- a/js/src/xterm.ts +++ b/js/src/xterm.ts @@ -78,6 +78,10 @@ export class Xterm { Object.keys(value).forEach((key) => { if (key == "EnableWebGL" && key) { this.term.loadAddon(new WebglAddon()); + } else if (key == "font-size") { + this.term.setOption("fontSize", value[key]) + } else if (key == "font-family") { + this.term.setOption("fontFamily", value[key]) } }); };