export default class TextView {
    elem: HTMLDivElement;

    constructor() {
        this.elem = <HTMLDivElement>document.getElementById('text');
    }

    clear() {
        while (this.elem.firstChild)
            this.elem.removeChild(this.elem.firstChild);
    }

    print(...args: string[]) {
        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);
        }
    }
}