>>426です。
>>427さん，返答ありがとうございます。
私の設定では右クリックメニューに「名前の置換」そのものが出てきません。
どこの設定で変えられるか教えてください。