public void push(EditorState state) { states.Push(state); }
public void restore(EditorState state) { Content = state.Content; }