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