- enhancement: Add "save as" icon to the toolbar.
- enhancement: Use key sequences as shortcut to actions in the options dialog's environment->shortcut page.
- change: Use ctrl+shift+S as the shortcut for "save as".
- change: Use ctrl+K,ctrl+S as the shortcut for "save all".