OOF2: The Manual
OOF.PixelSelection.Redo — Redo the latest undone selection.
Microstructure maintains a stack of sets of selected pixels. Whenever
pixels are selected or deselected, a new selection set is pushed
onto the stack. The Undo
command pops the topmost set off the stack, thereby reverting to
the next older selection. The Redo command
undoes the Undo,
by replacing the most recently popped selection onto the stack.