Add an "auto reload" option that, when true, automatically reloads a file when it's been modified by another editor.
Add option: Save files on loss of focus.