1 33 34 package edu.rice.cs.drjava.ui; 35 36 import java.io.File ; 37 import javax.swing.filechooser.FileFilter ; 38 39 40 44 public class DirectoryFilter extends FileFilter { 45 46 private String _description; 47 48 51 public DirectoryFilter() { 52 this("Directories"); 53 } 54 55 59 public DirectoryFilter(String description) { 60 _description = description; 61 } 62 63 66 public boolean accept(File f) { 67 return f.isDirectory(); 68 } 69 70 73 public String getDescription() { 74 return _description; 75 } 76 } 77 | Popular Tags |