diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2018-06-16 14:14:18 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2018-06-16 14:14:18 +0200 |
| commit | afeb790ea148ce7dfa156fad5d55cabf645f26be (patch) | |
| tree | 2458de1c23d857f583fcbd65cce3aaaf9750dfa1 /src/librustdoc/html/static | |
| parent | a385095f9a6d4d068102b6c72fbdc86ac2667e51 (diff) | |
Fix macro missing from doc search
Diffstat (limited to 'src/librustdoc/html/static')
| -rw-r--r-- | src/librustdoc/html/static/main.js | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js index bb996e00d35..d0db6806c82 100644 --- a/src/librustdoc/html/static/main.js +++ b/src/librustdoc/html/static/main.js @@ -160,6 +160,7 @@ // used for special search precedence var TY_PRIMITIVE = itemTypes.indexOf("primitive"); var TY_KEYWORD = itemTypes.indexOf("keyword"); + var TY_MACRO = itemTypes.indexOf("macro"); onEach(document.getElementsByClassName('js-only'), function(e) { removeClass(e, 'js-only'); @@ -465,9 +466,11 @@ var res = buildHrefAndPath(obj); obj.displayPath = pathSplitter(res[0]); obj.fullPath = obj.displayPath + obj.name; + // To be sure than it some items aren't considered as duplicate. if (obj.ty === TY_KEYWORD) { - // To be sure than it isn't considered as duplicate with items. obj.fullPath += '|k'; + } else if (obj.ty === TY_MACRO) { + obj.fullPath += '|m'; } obj.href = res[1]; out.push(obj); |
