diff options
| author | Manish Goregaokar <manishsmail@gmail.com> | 2015-09-27 14:48:36 +0530 |
|---|---|---|
| committer | Manish Goregaokar <manishsmail@gmail.com> | 2015-09-27 14:48:36 +0530 |
| commit | 92569470512857684f74790db0a21518a6603ca9 (patch) | |
| tree | e8e03baf67576bf4e78f672719ff87b8a8e21fb0 /src | |
| parent | e266651a3dad368085be32d8f26305c225f131f6 (diff) | |
rustdoc: Remove crate name from primitives, make them turn up first in search
Diffstat (limited to 'src')
| -rw-r--r-- | src/librustdoc/html/static/main.js | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js index 5b0b19b95af..9dce1b28c97 100644 --- a/src/librustdoc/html/static/main.js +++ b/src/librustdoc/html/static/main.js @@ -386,6 +386,9 @@ if ((aaa.item.ty === TY_PRIMITIVE) && (bbb.item.ty !== TY_PRIMITIVE)) { return -1; } + if ((bbb.item.ty === TY_PRIMITIVE) && (aaa.item.ty !== TY_PRIMITIVE)) { + return 1; + } // sort by description (no description goes later) a = (aaa.item.desc === ''); @@ -572,6 +575,10 @@ displayPath = item.path + '::'; href = rootPath + item.path.replace(/::/g, '/') + '/index.html'; + } else if (type === "primitive") { + displayPath = ""; + href = rootPath + item.path.replace(/::/g, '/') + + '/' + type + '.' + name + '.html'; } else if (item.parent !== undefined) { var myparent = item.parent; var anchor = '#' + type + '.' + name; |
