New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Minor fixes to state naming #23

Merged

henryksloan merged 3 commits into main from name-fixes

Sep 28, 2021

Owner

henryksloan commented Sep 28, 2021

Ensure that state names are saved and restored by the commands subsystem
Allow renaming to be undone and redone
Move the cursor to the end of the name setting input when it is opened

henryksloan added 3 commits

September 28, 2021 11:45


          Save and restore state names in the command chain

9987b0a


          Make renaming an undoable action

a0f77ab


          Move cursor to the end of the name setting input

442b7aa

henryksloan merged commit 64ae89e into main

henryksloan deleted the name-fixes branch

September 28, 2021 16:35

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment