設定 -> Java -> エディター -> テンプレート 名前 記述 パターン fordir list files in the target directory for (File ${file:newName(java.io.File)} : new File(${dirname:var(java.lang.String)}).listFiles()) { if (!${file}.getName().endsWith(".$…

ファイルのフィルタ パッケージ・エクスプローラー→右上の▽→フィルター フィルター・パターンに名前をつける（一致する名前は隠されます）にチェック *.pbm, *.bmc, *.idxと入力。 コンパイラやビューワの設定 http://oku.edu.mie-u.ac.jp/~okumura/texwiki/…