📄 filter.java
字号:
package net.aetherial.gis.dataType.filter;
import java.io.File;
import javax.swing.*;
import javax.swing.filechooser.*;
public class Filter extends FileFilter{
private String ext;
public Filter(String extend) {
this.ext = extend;
}
public boolean accept(File f) {
if (f.isDirectory()) {
return true;
}
String extension = Utils.getExtension(f);
if (extension != null) {
if (extension.equals(ext)){
return true;
} else {
return false;
}
}
return false;
}
public String getDescription() {
return ext;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -