Closed JGantts closed 4 years ago
Undo and redo are always grayed-out.
Fixed with 9ec6dd3cd09302bb418117ae5527682ececbf864.
Undo and redo are always grayed-out.