update docs [bot]
This commit is contained in:
		
							
								
								
									
										7
									
								
								docs/_static/searchtools.js
									
									
									
									
										vendored
									
									
								
							
							
						
						
									
										7
									
								
								docs/_static/searchtools.js
									
									
									
									
										vendored
									
									
								
							| @@ -178,7 +178,7 @@ const Search = { | |||||||
|  |  | ||||||
|   htmlToText: (htmlString, anchor) => { |   htmlToText: (htmlString, anchor) => { | ||||||
|     const htmlElement = new DOMParser().parseFromString(htmlString, 'text/html'); |     const htmlElement = new DOMParser().parseFromString(htmlString, 'text/html'); | ||||||
|     for (const removalQuery of [".headerlinks", "script", "style"]) { |     for (const removalQuery of [".headerlink", "script", "style"]) { | ||||||
|       htmlElement.querySelectorAll(removalQuery).forEach((el) => { el.remove() }); |       htmlElement.querySelectorAll(removalQuery).forEach((el) => { el.remove() }); | ||||||
|     } |     } | ||||||
|     if (anchor) { |     if (anchor) { | ||||||
| @@ -328,13 +328,14 @@ const Search = { | |||||||
|     for (const [title, foundTitles] of Object.entries(allTitles)) { |     for (const [title, foundTitles] of Object.entries(allTitles)) { | ||||||
|       if (title.toLowerCase().trim().includes(queryLower) && (queryLower.length >= title.length/2)) { |       if (title.toLowerCase().trim().includes(queryLower) && (queryLower.length >= title.length/2)) { | ||||||
|         for (const [file, id] of foundTitles) { |         for (const [file, id] of foundTitles) { | ||||||
|           let score = Math.round(100 * queryLower.length / title.length) |           const score = Math.round(Scorer.title * queryLower.length / title.length); | ||||||
|  |           const boost = titles[file] === title ? 1 : 0;  // add a boost for document titles | ||||||
|           normalResults.push([ |           normalResults.push([ | ||||||
|             docNames[file], |             docNames[file], | ||||||
|             titles[file] !== title ? `${titles[file]} > ${title}` : title, |             titles[file] !== title ? `${titles[file]} > ${title}` : title, | ||||||
|             id !== null ? "#" + id : "", |             id !== null ? "#" + id : "", | ||||||
|             null, |             null, | ||||||
|             score, |             score + boost, | ||||||
|             filenames[file], |             filenames[file], | ||||||
|           ]); |           ]); | ||||||
|         } |         } | ||||||
|   | |||||||
										
											
												File diff suppressed because one or more lines are too long
											
										
									
								
							
		Reference in New Issue
	
	Block a user