mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-29 19:45:01 +02:00
Code Issues Wiki Activity

fix for 155236 by Vivian Kong

Browse source
This commit is contained in:
Chris Recoskie 2006-08-25 17:25:09 +00:00
parent 5524cec83b
commit aca069a1db
1 changed files with 10 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/search/PDOMSearchPatternQuery.java
View file

@ -85,7 +85,10 @@ public class PDOMSearchPatternQuery extends PDOMSearchQuery {
case '.': case '.':
case ':': case ':':
if (buff.length() > 0) { if (buff.length() > 0) {
if (isCaseSensitive)
patternList.add(Pattern.compile(buff.toString())); patternList.add(Pattern.compile(buff.toString()));
else
patternList.add(Pattern.compile(buff.toString(),Pattern.CASE_INSENSITIVE));
buff = new StringBuffer(); buff = new StringBuffer();
} }
break; break;
@ -95,7 +98,12 @@ public class PDOMSearchPatternQuery extends PDOMSearchQuery {
} }
if (buff.length() > 0) if (buff.length() > 0)
{
if (isCaseSensitive)
patternList.add(Pattern.compile(buff.toString())); patternList.add(Pattern.compile(buff.toString()));
else
patternList.add(Pattern.compile(buff.toString(),Pattern.CASE_INSENSITIVE));
}
pattern = (Pattern[])patternList.toArray(new Pattern[patternList.size()]); pattern = (Pattern[])patternList.toArray(new Pattern[patternList.size()]);
} }