diff options
| -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; |