From aca069a1db99aa84bbc19671190e6cc5645f6265 Mon Sep 17 00:00:00 2001 From: Chris Recoskie Date: Fri, 25 Aug 2006 17:25:09 +0000 Subject: [PATCH] fix for 155236 by Vivian Kong --- .../internal/ui/search/PDOMSearchPatternQuery.java | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/search/PDOMSearchPatternQuery.java b/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/search/PDOMSearchPatternQuery.java index 9e3f874bf7d..d90e15b4c6b 100644 --- a/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/search/PDOMSearchPatternQuery.java +++ b/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/search/PDOMSearchPatternQuery.java @@ -85,7 +85,10 @@ public class PDOMSearchPatternQuery extends PDOMSearchQuery { case '.': case ':': if (buff.length() > 0) { - patternList.add(Pattern.compile(buff.toString())); + if (isCaseSensitive) + patternList.add(Pattern.compile(buff.toString())); + else + patternList.add(Pattern.compile(buff.toString(),Pattern.CASE_INSENSITIVE)); buff = new StringBuffer(); } break; @@ -95,7 +98,12 @@ public class PDOMSearchPatternQuery extends PDOMSearchQuery { } if (buff.length() > 0) - patternList.add(Pattern.compile(buff.toString())); + { + if (isCaseSensitive) + patternList.add(Pattern.compile(buff.toString())); + else + patternList.add(Pattern.compile(buff.toString(),Pattern.CASE_INSENSITIVE)); + } pattern = (Pattern[])patternList.toArray(new Pattern[patternList.size()]); }