diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js index 0a3411ac400..cd281039b9d 100644 --- a/src/librustdoc/html/static/main.js +++ b/src/librustdoc/html/static/main.js @@ -1079,11 +1079,12 @@ return output; } - function makeTabHeader(tabNb, text) { + function makeTabHeader(tabNb, text, nbElems) { if (currentTab === tabNb) { - return '
' + text + '
'; + return '
' + text + + '
(' + nbElems + ')
'; } - return '
' + text + '
'; + return '
' + text + '
(' + nbElems + ')
'; } function showResults(results) { @@ -1093,9 +1094,9 @@ output = '

Results for ' + escape(query.query) + (query.type ? ' (type: ' + escape(query.type) + ')' : '') + '

' + '
' + - makeTabHeader(0, "Types/modules") + - makeTabHeader(1, "As parameters") + - makeTabHeader(2, "As return value") + + makeTabHeader(0, "Types/modules", results['others'].length) + + makeTabHeader(1, "As parameters", results['in_args'].length) + + makeTabHeader(2, "As return value", results['returned'].length) + '
'; output += addTab(results['others'], query); diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css index 599b032b630..55acc575152 100644 --- a/src/librustdoc/html/static/rustdoc.css +++ b/src/librustdoc/html/static/rustdoc.css @@ -945,3 +945,9 @@ pre.rust { #titles > div:hover { border-bottom: 3px solid #0089ff; } + +#titles > div > div.count { + display: inline-block; + color: #888; + font-size: 16px; +}