Method undo

packages/core/src/widgets/codeEditor.ts:534–540

Pop and return the last undoable action.

()

  /** Pop and return the last undoable action. */
  undo(): EditAction | null {
    const action = this.undoStack.pop();
    if (action) {
      this.redoStack.push(action);
    }
    return action ?? null;
  }

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