Method push

packages/core/src/widgets/codeEditor.ts:512–531

Push an action onto the undo stack.

(action: EditAction)

  /** Push an action onto the undo stack. */
  push(action: EditAction): void {
    // Group with previous action if within time window and same type
    const lastAction = this.undoStack[this.undoStack.length - 1];
    if (
      lastAction &&
      action.timestamp - this.lastActionTime < UNDO_GROUP_WINDOW &&
      action.type === lastAction.type
    ) {
      // Merge actions
      this.undoStack[this.undoStack.length - 1] = action;
    } else {
      this.undoStack.push(action);
      if (this.undoStack.length > MAX_UNDO_STACK) {
        this.undoStack.shift();
      }
    }

    this.lastActionTime = action.timestamp;
    this.redoStack.length = 0; // Clear redo stack on new action
  }

  /** Pop and return the last undoable action. */
  undo(): EditAction | null {