*
* @param filter
* a <code>FileFilter</code> representing the filter string and related options
*/
public final void setFileFilter(FileFilter filter) {
FileFilter old;
synchronized (getDataLock()) {
old = getFileFilter();
setProperty(PROPERTY_FILE_FILTER, filter.getFilter());
getData().putBoolean(IGNORE_CASE, filter.getOptions().isIgnoreCase());
getData().putBoolean(REGULAR_EXPRESSION_FILTER, filter.getOptions().isRegularExpression());
}
if (!old.equals(filter)) {
firePropertyChange(PROPERTY_FILE_FILTER, old, filter);
}
}