/** * Sets the name filter. */ void setNameFilter(String filter, String isCaseSensitiveString) { _nameFilter.setNameFilter(filter); if(filter != null) _nameFilter.setNameFilterExtension(getFilterExt(filter)); _nameFilter.setCaseSensitive(isCaseSensitiveString); }
nameFilter = nameFilter.intern(); vf[i].setNameFilter(nameFilter);