📄 app_tools.java~1~
字号:
package edu.whu.gui;
/**
* <p>Title: </p>
* <p>Description: </p>
* <p>Copyright: Copyright (c) 2004</p>
* <p>Company: </p>
* @author not attributable
* @version 1.0
*/
public class App_tools
{
public App_tools()
{
}
public static void main(String[] args)
{
App_tools app_tools1 = new App_tools();
}
public class MyFilter
extends javax.swing.filechooser.FileFilter
{
String extension, description;
public MyFilter(String extension, String description)
{
this.extension = extension;
this.description = description;
}
public boolean accept(File file)
{
if (file.getName().endsWith(extension))
{
return true;
}
else if (f.isDirectory())
{
return true;
}
return false;
}
public String getDescription()
{
return this.description;
}
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -