📄 sourcefilefilter.java
字号:
//文件过滤器,用于过滤编译器默认的程序源文件package compiler;import javax.swing.filechooser.FileFilter;import java.io.*;/** * <p>Title: </p> * <p>Description: </p> * <p>Copyright: Copyright (c) 2005</p> * <p>Company: </p> * @author not attributable * @version 1.0 */public class SourceFileFilter extends FileFilter{ public SourceFileFilter() { } public boolean accept(File f){ return (f.isDirectory()||f.getName().endsWith(".src")); } public String getDescription(){ return ("PL/O源程序文件(.src)"); }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -