empty constant

UndoHistoryValue const empty

A value corresponding to an undo stack that can neither undo nor redo.

Implementation

static const UndoHistoryValue empty = UndoHistoryValue();