Lines Matching refs:matched
1830 var matched = false;
1836 matched = true;
1841 // ...it is not a training lesson (or is but has matched a tag)
1842 if (!(s.type == "training" && s.link.indexOf("index.html") == -1) || matched) {
1845 matched = true;
1849 if (matched) {
1872 // if the query matched a tag
1877 // if it also matched the title
