So, we actually have "Enable auto save (for local files only)" section, and two options: - an "Auto save document when the active document is losing focus" -

So, we actually have "Enable auto save (for local files only)" section, and two options: - an "Auto save document when the active document is losing focus" - Auto save interval So I guess we are already covered :-)