Remove vestigial undo/redo from GUI, including (now inactive) icons from toolbar #3106
lint.yml
on: pull_request
clang-format
1m 4s
clang-tidy
0s
ruff
0s
flake8
0s
cython-lint
0s