Function UndoBuffer.savedInRedo

returns true if saved state is in redo buffer

bool savedInRedo();