'宣言 Public ReadOnly Property RedoCount As Integer
public int RedoCount {get;}
UndoManager クラス UndoManager メンバ