Details
-
Bug
-
Resolution: Fixed
-
Minor
-
3.4
-
None
-
Unknown
-
Description
The undo history is limited to 10 items. Can this be made unlimited and/or configurable?
From historyplugin.java:
/**
- {@inheritDoc}
- @see AbstractPlugin#init(RichTextArea, Config)
*/
public void init(RichTextArea textArea, Config config)
{
super.init(textArea, config);
// Register custom executables.
History history = new DefaultHistory(textArea, 10); // <-------------------- ?
getTextArea().getCommandManager().registerCommand(Command.REDO, new RedoExecutable(history));
getTextArea().getCommandManager().registerCommand(Command.UNDO, new UndoExecutable(history));