Lines Matching refs:matched
2090 var matched = [];
2096 matched.push(elem);
2098 return $(matched);
5145 var matched = false;
5152 matched = true;
5160 matched = true;
5165 if (matched) {
5173 // Rank/sort all the matched pages
5235 // if the query matched a tag
5240 // if it also matched the title
