公開日:2023年2月10日
設定により検索結果を出力しながら検索を続けることができます。
また、現在実行中のグローバル検索結果ウィンドウからのタグジャンプや、検索結果リストの編集も行えます。(Ver.9.04以降)
【グローバル検索(grep)】ダイアログで「設定パネル」を開き、「最後にまとめて表示」のチェックをOFFにして実行してください。