Ctrl-S doesn't work when source editor is focussed