OOF2: The Manual
OOF.Skeleton.PinNodes.Redo — Undo the undone pinning operation.
As well as keeping track of which
Nodes are currently pinned, each
Skeleton maintains a stack of previous sets of pinned
Whenever nodes are pinned or unpinned, a new set is pushed onto
the stack. The Undo
command pops the latest version off of the stack, thereby
reverting to the previous set of pinned
Redo command undoes the latest
Undo, replacing the most recently popped set of
Nodes onto the stack.
Undone pinnings can be redone only if no new