authorgravatar for der.teufel.mail@gmail.comKrzysztof Wolicki <der.teufel.mail@gmail.com> 2023-05-08 22:29:20+02:00
committergravatar for der.teufel.mail@gmail.comKrzysztof Wolicki <der.teufel.mail@gmail.com> 2023-05-08 22:29:20+02:00
logf2aa7c86980df7bcbf0405be63cf62c88ed22005
tree635a4b17b428b9790f1eff1990bfebf738166ce1
parentf40539e5d83365412bf8c6973ce867125ea36faf

autodoc: Remove rendering "tuple" as part of the name in exprName


1 files changed, 2 insertions(+), 10 deletions(-)

lib/docs/main.js+2-10
...@@ -1845,17 +1845,9 @@ const NAV_MODES = {...@@ -1845,17 +1845,9 @@ const NAV_MODES = {
1845 let structObj = typeObj;1845 let structObj = typeObj;
1846 let name = "";1846 let name = "";
1847 if (opts.wantHtml) {1847 if (opts.wantHtml) {
1848 if (structObj.is_tuple) {1848 name = "<span class='tok-kw'>struct</span> { ";
1849 name = "<span class='tok-kw'>tuple</span> { ";
1850 } else {
1851 name = "<span class='tok-kw'>struct</span> { ";
1852 }
1853 } else {1849 } else {
1854 if (structObj.is_tuple) {1850 name = "struct { ";
1855 name = "tuple { ";
1856 } else {
1857 name = "struct { ";
1858 }
1859 }1851 }
1860 if (structObj.field_types.length > 1 && opts.wantHtml) { name += "</br>"; }1852 if (structObj.field_types.length > 1 && opts.wantHtml) { name += "</br>"; }
1861 let indent = "";1853 let indent = "";