?? nexusfilter.java
字號:
package TreeJuxtaposer;import java.io.File;import javax.swing.filechooser.*;public class NexusFilter extends FileFilter { public NexusFilter(){} public boolean accept(File f) { if (f.isDirectory()) { return true; } String extension = Utils.getExtension(f); if (extension != null && ( extension.endsWith(Utils.nexus) || extension.endsWith(Utils.tre))) return true; return false; } // The description of this filter public String getDescription() { return Utils.nexus_file_description; }}
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -