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

Patch for Devin: Fix for 105220 and friends.

Browse source
This commit is contained in:
Doug Schaefer 2005-08-04 13:50:51 +00:00
parent 9e2941d120
commit 08367e21b0
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/search/DOMQuery.java
View file

@ -143,7 +143,8 @@ public class DOMQuery extends CSearchQuery implements ISearchQuery {
} }
} }
if ((searchPattern != null || matches == null || matches.size() == 0) && (foundNames == null || foundNames.length == 0)) { // if the searchPattern is not null, and there were no matches from the index, and there were no matches from the DOM AST then do a basic index search with the searchPattern String
if (searchPattern != null && (matches == null || matches.size() == 0) && (foundNames == null || foundNames.length == 0)) {
// last try: search the index for the selected string, even if no name was found for that selection // last try: search the index for the selected string, even if no name was found for that selection
matches = DOMSearchUtil.getMatchesFromSearchEngine( scope, searchPattern, limitTo ); matches = DOMSearchUtil.getMatchesFromSearchEngine( scope, searchPattern, limitTo );