import java.io.File;
import javax.swing.*;
import javax.swing.filechooser.*;

public class plt_Filter extends FileFilter {
	// Accept all plt/gif files.
	public boolean accept(File f) {
		if (f.isDirectory()) {
            return true;
        }

        String ext = f.getName().toLowerCase();
		if (ext != null) {
            if ( ext.endsWith(".plt") || ext.endsWith(".gif") ) {
				return true;
			}
			else {
                return false;
            }
    	}

        return false;
    }

    public String getDescription() {
        return "PLT/GIF Files";
    }
}
