File tree Expand file tree Collapse file tree 2 files changed +13
-1
lines changed Expand file tree Collapse file tree 2 files changed +13
-1
lines changed Original file line number Diff line number Diff line change 50
50
51
51
< div class ="container "> {# #}
52
52
< div class ="page-header "> {# #}
53
- < h1 > Clippy Lints</ h1 > {# #}
53
+ < h1 > Clippy Lints < span id =" lint-count " class =" badge " > </ span > </ h1 > {# #}
54
54
</ div > {# #}
55
55
56
56
< noscript > {# #}
Original file line number Diff line number Diff line change @@ -71,6 +71,7 @@ window.searchState = {
71
71
} else {
72
72
window . location . hash = '' ;
73
73
}
74
+ updateLintCount ( ) ;
74
75
} ,
75
76
} ;
76
77
@@ -598,3 +599,14 @@ generateSearch();
598
599
parseURLFilters ( ) ;
599
600
scrollToLintByURL ( ) ;
600
601
filters . filterLints ( ) ;
602
+ updateLintCount ( ) ;
603
+
604
+ function updateLintCount ( ) {
605
+ const allLints = filters . getAllLints ( ) ;
606
+ const totalLints = allLints . length ;
607
+
608
+ const countElement = document . getElementById ( "lint-count" ) ;
609
+ if ( countElement ) {
610
+ countElement . innerText = `Total number: ${ totalLints } ` ;
611
+ }
612
+ }
You can’t perform that action at this time.
0 commit comments