Undo/Redo File Buffer

With this Save file option the Undo/Redo buffer of a file is saved when the file is closed or when the application closes. The buffer is re-loaded when the file is reopened, and can be used from the last point.