@@ -118,11 +118,13 @@ window.addEventListener("DOMContentLoaded", function() {
118118 let searchCheckbox = document . querySelector ( "[data-md-toggle='search']" )
119119 let searchIconMobile = document . querySelector ( ".md-icon.md-icon--search.md-header-nav__button" )
120120 let searchMeta = document . querySelector ( ".md-search-result__meta" )
121+ let searchMetaContent = searchMeta . textContent
121122 let resultCount = 0
122123
123124 searchInputReset . addEventListener ( 'click' , ( ) => {
124125 searchResultOutputList . innerHTML = '' ;
125126 resultCount = 0
127+ searchMeta . textContent = searchMetaContent
126128 if ( searchInput . value == '' ) { searchCheckbox . checked = false }
127129 } )
128130
@@ -137,6 +139,7 @@ window.addEventListener("DOMContentLoaded", function() {
137139 if ( searchInput ?. value ?. length === 0 ) {
138140 searchResultOutputList . innerHTML = '' ;
139141 resultCount = 0
142+ searchMeta . textContent = searchMetaContent
140143 }
141144 if ( Object . keys ( jsonData ) . length === 0 ) {
142145 fetch ( '/search/search_index.json' ) . then (
@@ -152,10 +155,14 @@ window.addEventListener("DOMContentLoaded", function() {
152155
153156 searchInput . addEventListener ( 'keyup' , ( ) => {
154157 const searched = searchInput . value . toLowerCase ( )
155- if ( searched . length < 4 ) { return }
158+ searchResultOutputList . innerHTML = '' ;
159+ resultCount = 0 ;
160+ if ( searched . length < 3 ) {
161+ searchMeta . textContent = searchMetaContent
162+ return
163+ }
156164 else {
157- searchResultOutputList . innerHTML = '' ;
158- resultCount = 0 ;
165+ searchMeta . textContent = "No matching documents" ;
159166 ( Object . keys ( jsonData ) . length !== 0 ) && jsonData . docs . forEach ( ( e , i ) => {
160167
161168 let matchTitle = false
0 commit comments