last updated:2023/12/27
変更したいファイルを開いた状態で、「その他」→「ファイルタイプ別の設定」ダイアログで可能です。
設定を変更したい拡張子のファイルを開いて下さい。
(grepの結果を変更したい場合は、適当なものをグレップして下さい。)
「その他」→「ファイルタイプ別の設定」で「設定」ダイアログを開いて下さい。
(拡張子が「TXT」の場合は、左上に「.TXTの設定」、grepの場合は、「grepの設定」と表示されます。これで拡張子別の設定を行う準備が整いました)
「設定のリスト」を押して下さい。
(新たな設定を作ったり、すでにあるものをコピーしたり出来ます)
「新規」を押して、新規設定をしたい名前を入力後、「OK」を押して下さい。
(リストの中に該当するものがある場合は必要ありません。既にあるものの設定を一部だけ変更して使用する場合は「コピー」を使うといいでしょう)
「閉じる」を押して終了して下さい。
「設定のリスト」の左隣にあるコンボボックスから該当する設定(「4」で作成したもの)を選んで下さい。
「フォント」「詳細」「その他」タブで必要な項目を設定後、「OK」を押して下さい。(これで完了です)