Method pushOutput

src/frontend/swo/decoders/console.ts:91–101

(str: string)

    }

    private pushOutput(str: string) {
        if (str) {
            if (this.useTerminal) {
                if (this.ptyTerm) {
                    this.ptyTerm.write(str);
                }
            } else {
                this.output.append(str);
            }
        }
    }

    private createDateHeaderUs(): string {
        if (this.timestamp) {