Fix wrong merge conflict resolution

This commit is contained in:
Simon Lamon
2022-08-01 18:00:23 +02:00
committed by GitHub
parent 3f1480a52a
commit 04eb6a4160
+1 -3
View File
@@ -509,9 +509,7 @@ function initAddons(term: TerminalType): void {
try { try {
term.loadAddon(addon.instance); term.loadAddon(addon.instance);
if (name === 'webgl') { if (name === 'webgl') {
setTimeout(() => { (addon.instance as WebglAddon).onChangeTextureAtlas(e => addTextureAtlas(e));
document.body.appendChild((addon.instance as WebglAddon).textureAtlas);
}, 0);
} else if (name === 'unicode11') { } else if (name === 'unicode11') {
term.unicode.activeVersion = '11'; term.unicode.activeVersion = '11';
} else if (name === 'search') { } else if (name === 'search') {