📄 maildirfilenamefilter.java
字号:
/* * MaildirFolder.java * Copyright (C) 1999 fengyun <fengyun@gbsource.net> */package fengyun.Fastmail.Maildir;import java.io.*;
/**
* 选取消息的过滤器
* @author fengyun
* @version 1.01
*/public class MaildirFilenameFilter implements FilenameFilter { char flag = '*'; MaildirFilenameFilter(char flag) { this.flag = flag; } public boolean accept(File dir,String name) { File file = new File(dir.getAbsolutePath() + File.separator + name);
if (flag == '/' && file.isDirectory()) return true; if (flag !='/' && file.exists() && file.isFile()) { if (flag == '*') return true; int cur = name.indexOf("."); String s = name.substring(cur+1,cur+2); return s.equals(String.valueOf(flag)); } return false; }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -