📄 statview_filefilter.java
字号:
import javax.swing.filechooser.*;import java.io.File;public class StatView_FileFilter extends FileFilter{ String description; String file_extensions[]; public StatView_FileFilter(String[] exts, String descr) { file_extensions = new String[exts.length]; for(int ii = 0; ii < exts.length; ii++) file_extensions[ii] = exts[ii].toLowerCase(); description = (descr == null ? "files" : descr); } public boolean accept(File file) { if(file.isDirectory()){ return true; } String file_name = file.getName().toLowerCase(); for(int ii = file_extensions.length-1; ii >= 0;ii--) { if(file_name.endsWith(file_extensions[ii])) return true; } return false; } public String getDescription() { return description; }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -