Buffer options. More...
Buffer options.
The directory to use for saving temporary files.
The maximum number of actions that can be undone.
Whether to support undo after having saved.