📄 myfilechooser.java
字号:
/*
* @(#)MyFileChooser.java ver 1.2 6/20/2005
*
* Modified by Weishuai Yang (wyang@cs.binghamton.edu).
* This file is based on NED from Tatiana Kichkaylo at NYU
*/
package gps.util;
import java.io.File;
import javax.swing.JFileChooser;
/**
* file chooser
* Modified by Weishuai Yang
* This file is based on NED from Tatiana Kichkaylo at NYU
*/
public class MyFileChooser extends JFileChooser {
public static ExtFileFilter graphFilter = new ExtFileFilter( "alt", "ITM alt files" );
public static ExtFileFilter configFilter = new ExtFileFilter( "cfg", "Config files" );
// public ExtFileFilter resumeFilter = new ExtFileFilter( "res", "Resume files" );
public MyFileChooser() {}
private static class ExtFileFilter extends javax.swing.filechooser.FileFilter {
private String ext;
private String descr;
public ExtFileFilter( String ext, String descr ) {
this.ext = ext;
this.descr = descr;
}
public boolean accept( File f ) {
if ( f.isHidden() ) return false;
if ( f.isDirectory() ) return true;
String nm = f.getName();
if ( nm.indexOf( "." )<0 ) return false;
nm = nm.substring( nm.lastIndexOf( "." )+1 );
return nm.equals( ext );
}
public String getDescription() { return descr; }
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -