with https://github.com/emilk/egui/issues/4356 merged, we can redo our undoer (:
with emilk/egui#4356 merged, we can redo our undoer (: