📄 easyfilefilter.java
字号:
package jmathlib.ui.swing;
import java.io.File;
import javax.swing.filechooser.*;
public class EasyFileFilter extends FileFilter implements java.io.FileFilter {
private String[] fileExtensions;
private String description;
private boolean exceptsFolders;
public EasyFileFilter(String[] fileExtensions, String description, boolean exceptsFolders) {
this.fileExtensions = fileExtensions;
this.description = description;
this.exceptsFolders = exceptsFolders;
}
public boolean accept(File f) {
//return false;
if (f.isDirectory()) {
return true;
//return exceptsFolders;
} else {
for (int i = 0; i < fileExtensions.length; i++) {
if (f.getName().endsWith(fileExtensions[i])) {
return true;
}
}
}
return false;
}
public String getDescription() {
return description;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -