Opened this issue 4 years ago · 1 comments
From this state:
I called undo, which left me with the following:
I could not redo. I also was not presented with a notification in the GUI that said nothing could be redone, but a message was displayed in the terminal.
Clicking "redo" again made it work... still a bug!