[jraph]

I'll look for it but I'm not sure I've ever seen it despite having seen the settings countless times. If it doesn't exist it could be an easy and useful contribution :-)

[jraph]

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 :-)