Ctrl+Shift+Sで別名で保存できず赤い線が表示されてたのを解消した

Ctrl+Shift+Sで別名保存(save as)ができなくなって不便だったけれど、ようやく解決方法を見つけたのでメモ。原因は意外なものでした。