history: false still adds "undo" menu button and keybindings

[WofWca]

This option:

prosemirror-example-setup/src/index.ts

Lines 52 to 53 in c3ac29c

	/// Set to false to disable the history plugin.
	history?: boolean

The result is that the buttons and the key combinations do nothing.

Menu items are added here:

prosemirror-example-setup/src/menu.ts

Line 238 in c3ac29c

r.fullMenu = r.inlineMenu.concat([[r.insertMenu, r.typeMenu]], [[undoItem, redoItem]], r.blockMenu)

Key bindings are added here:

prosemirror-example-setup/src/keymap.ts

Lines 49 to 50 in c3ac29c

	bind("Mod-z", undo)
	bind("Shift-Mod-z", redo)

The history option was added in 1b9adcb