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;
}
