Are you sure you have something to redo?

Try open some file, type a character, use undo to remove it and see if the redo is enabled and re-inserts the character if pressed.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.