［検索してマーク］ダイアログボックス

検索してマークプラグインを実行したときに表示されます。
検索対象を設定して、検索を実行して見つけた位置にアノテーションによるマークを付けます。

検索文字列を設定します。半角、または全角のスペースで区切って、複数の文字列を入力できます。複数の文字列を入力したときは、いずれかの文字列を含む検索対象が検索されます。

検索の対象にするテキストを設定します。
初期値は、どちらにもチェックマークが付いています。

検索するときに区別しない文字の種類を設定します。
チェックマークを付けると、文字の種類を区別しません。
初期値は、チェックマークが付いています。

プラグインの処理を開始します。

プラグインの処理を実行しないでダイアログボックスを閉じます。