Always revert to original editor settings before saving a file