Additional fix for #732. This seems _really_ unnecessary.
keyboard shortcuts for saving, confirmation for unsaved changes. Fixes #717.