Ctrl+RET で保存できるようになった。もしかしておれの環境のせいだったのかな。いやべつに何か特別変えたりした覚えはないのだけれどそういう可能性もある気がしてきた