Lines Matching defs:filters
237 * Identifies a change in the list of predefined file filters
251 private Vector<FileFilter> filters = new Vector<FileFilter>(5);
1096 * Gets the list of user choosable file filters.
1099 * file filters
1106 FileFilter[] filterArray = new FileFilter[filters.size()];
1107 filters.copyInto(filterArray);
1112 * Adds a filter to the list of user choosable file filters.
1122 * description: Adds a filter to the list of user choosable file filters.
1130 if(filter != null && !filters.contains(filter)) {
1132 filters.addElement(filter);
1134 if (fileFilter == null && filters.size() == 1) {
1141 * Removes a filter from the list of user choosable file filters. Returns
1149 if(filters.contains(f)) {
1154 filters.removeElement(f);
1164 * this removes all added file filters while leaving the
1174 filters.removeAllElements();
1207 * the list of available file filters.