This extension provides history support. All changes to the document will be tracked and can be removed with `undo`. Undone changes can be applied with `redo` again.
| historyPluginOptions | Object | {} | Supports the following configuration options:<br/><br/>**depth:** The amount of history events that are collected before the oldest events are discarded. Defaults to 100.<br/><br/>**newGroupDelay:** The delay between changes after which a new group should be started. Defaults to 500 (milliseconds). Note that when changes aren't adjacent, a new group is always started. |