EditorState({ required this.document, this.minHistoryItemDuration = const Duration(milliseconds: 200), }) { undoManager.state = this; }