Lines Matching refs:matched
2075 var matched = [];
2081 matched.push(elem);
2083 return $(matched);
5022 var matched = false;
5029 matched = true;
5037 matched = true;
5042 if (matched) {
5050 // Rank/sort all the matched pages
5112 // if the query matched a tag
5117 // if it also matched the title
