Пример #1
0
 public void Push(EditorState state)
 {
     _states.Add(state);
 }
Пример #2
0
 /// <summary>
 /// Restores the current state to the selected one.
 /// </summary>
 /// <param name="state">The wished state which should be restored to.</param>
 public void Restore(EditorState state)
 {
     Content = state.Content;
 }