public void Push(EditorState state) { _states.Add(state); }
/// <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; }