Method finalizeRapidInput

extensions/cli/src/ui/TextBuffer.ts:390–415

()

  // Called after rapid input timer expires to collapse or insert buffered content
  private finalizeRapidInput(): void {
    if (this._rapidInputBuffer.length > COLLAPSE_SIZE) {
      const placeholder = this.createPlaceholder(this._rapidInputBuffer);
      this._pasteMap.set(placeholder, this._rapidInputBuffer);

      this._text =
        this._text.slice(0, this._rapidInputStartPos) +
        placeholder +
        this._text.slice(this._rapidInputStartPos);
      this._cursor = this._rapidInputStartPos + placeholder.length;

      if (this._onStateChange) {
        this._onStateChange();
      }
    } else {
      this.insertText(this._rapidInputBuffer);

      if (this._onStateChange) {
        this._onStateChange();
      }
    }

    this._rapidInputBuffer = "";
    this._rapidInputStartPos = 0;
    this._rapidInputTimer = null;
  }

  private handleOptionKey(sequence: string): boolean {
    // Option + backspace (usually \u001b\u0008 or \u001b\u007f)