* if true, case is ignored. If the pattern argument is
* <code>null</code>, this argument is ignored.
*/
- public void setFileFilter(String pattern, boolean ignoreCase) {
- if (pattern != null) {
- stringMatcher = new StringMatcher(pattern, ignoreCase, false);
- } else {
- stringMatcher = null;
- }
- }
+// public void setFileFilter(String pattern, boolean ignoreCase) {
+// if (pattern != null) {
+// stringMatcher = new StringMatcher(pattern, ignoreCase, false);
+// } else {
+// stringMatcher = null;
+// }
+// }
/*
* (non-Javadoc) Method declared in Window.