The user guide states that redo is only available after an undo command. However, using a list command still allows redo to be executed
Editing 15 name and undoing
Executing list
Redo still available and can be executed
While this is a documentation bug and is likely to occur with short command like list, it could be argued that this behavior is actually more favorable compared to being unable to do so, as this could be useful for users who only notice their undo mistake after a short command (like list), therefore the severity is low.
The user guide states that redo is only available after an undo command. However, using a list command still allows redo to be executed
Editing 15 name and undoing
Executing
listRedo still available and can be executed
While this is a documentation bug and is likely to occur with short command like
list, it could be argued that this behavior is actually more favorable compared to being unable to do so, as this could be useful for users who only notice their undo mistake after a short command (likelist), therefore the severity is low.