モジュール内のテキストの検索と置換

フォーマル・モジュールでは、指定したテキストを持つすべてのオブジェクトを検索できます。検索には正規表現を使用できます。

手順

  1. モジュール・ウィンドウで、「編集」>「置換」の順にクリックします。
  2. 「検索する文字列」ボックスで、検索したいテキストを入力し、「置換後のストリング」ボックスで置き換えたいテキストを入力します。 検索テキストには正規表現を含めることができます。
  3. デフォルト・オプションを変更するには、「詳細設定」をクリックします。
  4. モジュール内を 1 ストリングずつ移動するには、「次を検索」ボタンと「前を検索」ボタンを使用します。
  5. 現行選択を置換するには「置換」を、現行オブジェクト内のテキストの出現をすべて置換するには「オブジェクトでの置換」を、モジュール内のテキストの出現をすべて置換するには「すべて置換」をクリックします。
  6. 検索と置換が終了したら、「閉じる」をクリックします。

フィードバック