{
reset;
if (this) {
var term = new Terminal();
const fitAddon = new FitAddon.FitAddon();
term.loadAddon(fitAddon);
term.open(this, false);
fitAddon.fit();
console.log('fitAddon.proposeDimensions():', fitAddon.proposeDimensions());
let websocket = new WebSocket('ws://localhost:8080');
websocket.addEventListener('message', event => term.write(event.data));
term.on('key', (key, ev) => websocket.send(key));
term.on('paste', (data, ev) => websocket.send(data));
invalidation.then(() => websocket.close());
return this;
}
setTimeout(() => {
mutable reset = 1;
}, 0);
return html`<div style="height: 400px"></div>`;
}