public class TexFilter extends javax.swing.filechooser.FileFilter
TexFilter()
boolean
accept(java.io.File file)
java.lang.String
getDescription()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public TexFilter()
public boolean accept(java.io.File file)
accept
javax.swing.filechooser.FileFilter
public java.lang.String getDescription()
getDescription