| accept(File file) | tit.gui.filter.ExtensionFileFilter | |
| description | tit.gui.filter.ExtensionFileFilter | [private] |
| ExtensionFileFilter(String descriptioninit, String[] extensionsinit) | tit.gui.filter.ExtensionFileFilter | |
| ExtensionFileFilter(String descriptioninit, String extension0) | tit.gui.filter.ExtensionFileFilter | |
| ExtensionFileFilter(String descriptioninit, String extension0, String extension1) | tit.gui.filter.ExtensionFileFilter | |
| ExtensionFileFilter(String descriptioninit, String extension0, String extension1, String extension2) | tit.gui.filter.ExtensionFileFilter | |
| ExtensionFileFilter(String descriptioninit, String extension0, String extension1, String extension2, String extension3) | tit.gui.filter.ExtensionFileFilter | |
| ExtensionFileFilter(String descriptioninit, String extension0, String extension1, String extension2, String extension3, String extension4) | tit.gui.filter.ExtensionFileFilter | |
| extensions | tit.gui.filter.ExtensionFileFilter | [private] |
| getDescription() | tit.gui.filter.ExtensionFileFilter | |