| 6,7 → 6,7 |
|---|
| * |
| * @version $Revision: 1.00 |
| * |
| * Last modification: $Date: 2003/07/11 12:20:03 $ |
| * Last modification: $Date: 2003/07/11 12:46:12 $ |
| * |
| */ |
| |
| 18,6 → 18,8 |
|---|
| * @author S. McSporran |
| */ |
| public class XMLExtensionFilter extends javax.swing.filechooser.FileFilter { |
| |
| ExtExtractor extractor = new ExtExtractor(); |
| |
| /** The method accept decides whether a file will be passed by the filter. |
| * |
| 34,7 → 36,7 |
|---|
| } |
| |
| /* Get the file's extension. */ |
| String extension = ExtExtractor.getExtension(f); |
| String extension = extractor.getExtension(f); |
| |
| /* Proceed if there is an extension. */ |
| if (extension != null) { |