public void PushToHistory(EditorState state) { states.Add(state); }
public void Restore(EditorState state) { content = state.getContent(); }