Andreas/gotty
1
0
Fork 0
mirror of https://github.com/yudai/gotty.git synced 2026-02-20 23:14:07 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Apply font size and family in xterm

Browse source 
Mostly fixes #21
This commit is contained in:
Søren L. Hansen 2021-07-04 13:37:24 -07:00
parent 603c65063b
commit f157dbe9d3
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
js/src/xterm.ts
View file

@ -78,6 +78,10 @@ export class Xterm {
Object.keys(value).forEach((key) => { Object.keys(value).forEach((key) => {
if (key == "EnableWebGL" && key) { if (key == "EnableWebGL" && key) {
this.term.loadAddon(new WebglAddon()); 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])
} }
}); });
}; };