get-max-undo-history in editor<%>
Returns the maximum number of undoables that will be remembered by
the editor. Note that undoables are counted by insertion, deletion,
etc. events, not by the number of times that
undo can be called; a single
undo call often reverses multiple events at a time
(such as when the user types a stream of characters at once).