diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2018-06-18 21:39:46 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2018-06-18 21:39:54 +0200 |
| commit | f4ea46a5b36505464825219abcf0106506de2b20 (patch) | |
| tree | a05870c86eb5491fce0337a704a48228568b19a7 | |
| parent | afeb790ea148ce7dfa156fad5d55cabf645f26be (diff) | |
| download | rust-f4ea46a5b36505464825219abcf0106506de2b20.tar.gz rust-f4ea46a5b36505464825219abcf0106506de2b20.zip | |
Extend collision prevention to every type
| -rw-r--r-- | src/librustdoc/html/static/main.js | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js index d0db6806c82..27fb6d1a2a2 100644 --- a/src/librustdoc/html/static/main.js +++ b/src/librustdoc/html/static/main.js @@ -467,11 +467,7 @@ 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) { - obj.fullPath += '|k'; - } else if (obj.ty === TY_MACRO) { - obj.fullPath += '|m'; - } + obj.fullPath += '|' + obj.ty; obj.href = res[1]; out.push(obj); if (out.length >= MAX_RESULTS) { |