公開日:2023年2月10日
「ファイルを開く」ダイアログボックスの「ファイルの種類」(拡張子)のリストは「グローバル検索(grep)」の「ファイル名」と共有です。 追加するには「グローバル検索(grep)」の「ファイル名」に追加したいファイルの種類を入力して、適当な文字列、適当なフォルダーを指定して仮で「実行」していただくことで可能です。 ワイルドカード「*」「?」が指定でき、「;」で区切って複数指定できます。 このリストの削除は【設定】メニューの「履歴情報の削除」の「ワイルドカード履歴」で可能です。
<関連項目> グローバル検索の検索対象ファイル名のリストから不要なものを削除したい