Method resetOptions

src/frontend/pty.ts:139–152

(opts: IPtyTerminalOptions)

    }

    public resetOptions(opts: IPtyTerminalOptions) {
        if (this.options.name !== opts.name) {
            throw Error('Reset terminal: Terminal name cannot change once created');
        }
        if (this.promptTimer) {
            this.promptTimer.kill();
            this.promptTimer = null;
        }
        this.unPrompt();        // This will clear any old prompt
        this.options = opts;
        this.curLine = '';
        this.cursorPos = 1;
        this.write('\n');       // This will write also prompt
    }

    protected handleInput(chars: string): void {
        if (this.isPaused || (this.options.inputMode === TerminalInputMode.DISABLED)) {