Make print parse and display newlines
}
print(...args: string[]) {
- let line;
- if (args.length == 0) {
- line = '\u200b';
- } else {
- line = args.join(' ');
+ const text = args.join(' ');
+ const lines = text.split('\n');
+ for (let l of lines) {
+ if (l == '') {
+ l = '\u200b';
+ }
+ const div = document.createElement('div');
+ div.appendChild(document.createTextNode(l));
+ this.elem.appendChild(div);
}
- const div = document.createElement('div');
- div.appendChild(document.createTextNode(line));
- this.elem.appendChild(div);
}
}