Skip to content

feat: add new UndoManager APIs#25

Merged
Leeeon233 merged 1 commit intomainfrom
update-undo-manager-apis-1.5.10
Jul 23, 2025
Merged

feat: add new UndoManager APIs#25
Leeeon233 merged 1 commit intomainfrom
update-undo-manager-apis-1.5.10

Conversation

@Leeeon233
Copy link
Member

No description provided.

@Leeeon233 Leeeon233 merged commit b5c6564 into main Jul 23, 2025
1 check passed
@Leeeon233 Leeeon233 deleted the update-undo-manager-apis-1.5.10 branch July 23, 2025 02:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant