Fixed undo/redo history size (it now uses the [Text Editors] -> [Undo
history size] setting)