⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 extensionfilter.java

📁 用Java实现的网络画图程序
💻 JAVA
字号:
import javax.swing.filechooser.FileFilter;
import java.io.File;

public class ExtensionFilter extends FileFilter{

	public ExtensionFilter(String ext,String discr){
		this.ext=ext.toLowerCase();
		this.descr=descr;
	}

	public boolean accept(File file){
		return (file.isDirectory()||file.getName().toLowerCase().endsWith(ext));
	}

	public String getDescription(){
		return descr;
	}

	public String getExt(){
		return ext;
	}

	private String ext;
	private String descr;
}

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -