Issue #257: implemented Ctrl+S