⚠ This page is served via a proxy. Original site: https://github.com
This service does not collect credentials or authentication data.
Skip to content

fix: Make the undo/redo API more ergonomic#9573

Open
gonfunko wants to merge 2 commits intomainfrom
undo-redo
Open

fix: Make the undo/redo API more ergonomic#9573
gonfunko wants to merge 2 commits intomainfrom
undo-redo

Commits

Commits on Jan 15, 2026