Added prefix matching in search

CHANGELOG.md

@@ -3,6 +3,12 @@
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+### Unreleased
+
+### Changed
+
+* The search in the HTML output now prioritizes prefix matches. ([#2203], [#2375])
+
 ## Version [v1.2.1] - 2023-12-02
 
 ### Fixed
@@ -1721,6 +1727,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 [#2191]: https://github.com/JuliaDocs/Documenter.jl/issues/2191
 [#2194]: https://github.com/JuliaDocs/Documenter.jl/issues/2194
 [#2202]: https://github.com/JuliaDocs/Documenter.jl/issues/2202
+[#2203]: https://github.com/JuliaDocs/Documenter.jl/issues/2203
 [#2205]: https://github.com/JuliaDocs/Documenter.jl/issues/2205
 [#2211]: https://github.com/JuliaDocs/Documenter.jl/issues/2211
 [#2213]: https://github.com/JuliaDocs/Documenter.jl/issues/2213
@@ -1765,6 +1772,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 [#2348]: https://github.com/JuliaDocs/Documenter.jl/issues/2348
 [#2364]: https://github.com/JuliaDocs/Documenter.jl/issues/2364
 [#2365]: https://github.com/JuliaDocs/Documenter.jl/issues/2365
+[#2375]: https://github.com/JuliaDocs/Documenter.jl/issues/2375
 [JuliaLang/julia#36953]: https://github.com/JuliaLang/julia/issues/36953
 [JuliaLang/julia#38054]: https://github.com/JuliaLang/julia/issues/38054
 [JuliaLang/julia#39841]: https://github.com/JuliaLang/julia/issues/39841

assets/html/js/search.js

@@ -141,6 +141,7 @@ let index = new minisearch({
   tokenize: (string) => string.split(/[\s\-\.]+/),
   // options which will be applied during the search
   searchOptions: {
+    prefix: true,
     boost: { title: 100 },
     fuzzy: 2,
     processTerm: (term) => {
@@ -322,7 +323,7 @@ function make_search_result(result, querystring) {
     display_link += ` (${result.page})`;
   }
 
-  let textindex = new RegExp(`\\b${querystring}\\b`, "i").exec(result.text);
+  let textindex = new RegExp(`${querystring}`, "i").exec(result.text);
   let text =
     textindex !== null
       ? result.text.slice(
@@ -337,8 +338,8 @@ function make_search_result(result, querystring) {
   let display_result = text.length
     ? "..." +
       text.replace(
-        new RegExp(`\\b${querystring}\\b`, "i"), // For first occurrence
-        '<span class="search-result-highlight p-1">$&</span>'
+        new RegExp(`${querystring}`, "i"), // For first occurrence
+        '<span class="search-result-highlight py-1">$&</span>'
       ) +
       "..."
     : ""; // highlights the match