index
:
delta/python-packages/sphinx-git.git
1.8.x
3.2.x
3.3.x
3.4.x
3.5.x
3.x
4.0.x
4.1.x
4.2.x
4.3.x
4.4.x
4.x
4606_incorrect_location_of_docstring
7.0.x
7613_class__signature__
7727_autosummary_PycodeError
7996_man_make_section_directory
8321_linkcheck_tel_links
8342_warning_for_unknown_domain
8349_sphinx-contrib
9864_mathjax_loading_method
bot/pull-translations
cleanup_napoleon
dependabot/github_actions/peter-evans/create-pull-request-5
dependabot/npm_and_yarn/follow-redirects-1.14.7
dependabot/npm_and_yarn/http-proxy-1.18.1
master
mypy-0.790
support_py310
github.com: sphinx-doc/sphinx.git
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
sphinx
/
themes
/
basic
/
static
/
searchtools.js
Commit message (
Expand
)
Author
Age
Files
Lines
*
Happy New Year!
Adam Turner
2023-01-01
1
-1
/
+1
*
Move to localStorage for search highlighting
Adam Turner
2022-09-24
1
-17
/
+12
*
search: use both title and subtitle only if different (#10848)
Martin Liška
2022-09-23
1
-1
/
+1
*
Use both title and subtitle name in search results (#10824)
Martin Liška
2022-09-21
1
-1
/
+1
*
Support searching for index entries (#10819)
Adam Turner
2022-09-20
1
-0
/
+18
*
Use subtitle name in search results (#10814)
Martin Liška
2022-09-13
1
-2
/
+2
*
Save search resul score to HTML element for debugging (#10718)
Martin Liška
2022-09-09
1
-1
/
+2
*
search: support searching for (sub)titles (#10717)
Martin Liška
2022-09-09
1
-1
/
+23
*
HTML Search: refactoring
Takeshi KOMIYA
2022-07-18
1
-1
/
+1
*
HTML Search: Minor errors are emitted on fetching search snipets
Takeshi KOMIYA
2022-07-18
1
-3
/
+1
*
HTML Search: search snipets should not be folded
Takeshi KOMIYA
2022-07-18
1
-1
/
+1
*
HTML Search: HTML tags are displayed as a part of object name
Takeshi KOMIYA
2022-07-18
1
-1
/
+1
*
Fix minor HTML search summary issues (#10548)
shiftinv
2022-07-12
1
-4
/
+5
*
Merge pull request #10153 from stsewd/check-if-search-progress-exists
Takeshi KOMIYA
2022-04-05
1
-4
/
+6
|
\
|
*
Update sphinx/themes/basic/static/searchtools.js
Santos Gallegos
2022-02-07
1
-1
/
+1
|
*
Searchtools: don't assume that all themes define some elements
Santos Gallegos
2022-01-31
1
-4
/
+6
*
|
Merge branch '4.x'
Takeshi KOMIYA
2022-03-27
1
-4
/
+0
|
\
\
|
*
|
Fix #10277: html search: Could not search short words (ex. "use")
Takeshi KOMIYA
2022-03-22
1
-4
/
+0
*
|
|
Replace `jssplitter` with JavaScript
Adam Turner
2022-03-19
1
-1
/
+15
*
|
|
Fix object search
Adam Turner
2022-03-19
1
-4
/
+4
*
|
|
Update splitQuery
Adam Turner
2022-03-08
1
-27
/
+24
*
|
|
Merge branch 'sphinx-doc:master' into master
Caleb Chiam
2022-03-05
1
-1
/
+2
|
\
\
\
|
*
|
|
Searchtools: fix null query on setIndex
Santos Gallegos
2022-03-03
1
-1
/
+2
*
|
|
|
fixing duplicate search results bug
calebchiam
2022-03-05
1
-0
/
+14
|
/
/
/
*
|
|
Merge commit '2be06309518d9401a42880bb5b4321dfdd1e5e90'
Takeshi KOMIYA
2022-02-14
1
-2
/
+2
|
\
\
\
|
|
/
/
|
|
/
|
|
/
|
/
|
|
*
Close #9456: html search: Add a config variable; html_show_search_summary
Takeshi KOMIYA
2022-01-17
1
-2
/
+2
*
|
Drop JavaScript Frameworks (#10028)
Adam Turner
2022-01-30
1
-398
/
+376
|
/
*
A happy new year!
Takeshi KOMIYA
2022-01-01
1
-1
/
+1
*
search, store objects as array to retain all
Jakob Lykke Andersen
2021-09-25
1
-2
/
+3
*
Merge branch '4.x' into 9456_abbr_marks_on_search_result
Takeshi KOMIYA
2021-07-27
1
-1
/
+7
|
\
|
*
Fix #9456: html search: html_copy_source can't control the search summaries
Takeshi KOMIYA
2021-07-24
1
-1
/
+7
*
|
Fix #9456: html search: abbreation marks are inserted to the search
Takeshi KOMIYA
2021-07-24
1
-1
/
+7
|
/
*
Merge branch '4.0.x' into 4.x
Takeshi KOMIYA
2021-05-11
1
-1
/
+1
|
\
|
*
Fix #8380: html search: tags for search result are broken
Takeshi KOMIYA
2021-05-09
1
-1
/
+1
*
|
Fix search unnecessarily requiring source files
Aaron Carlisle
2021-04-24
1
-7
/
+1
|
/
*
Merge branch '3.x'
Takeshi KOMIYA
2021-02-13
1
-7
/
+7
|
\
|
*
searchtools: Don't use slideDown to show search results.
Emilio Cobos Álvarez
2021-02-10
1
-7
/
+7
*
|
Merge branch '3.x'
Takeshi KOMIYA
2021-01-28
1
-2
/
+10
|
\
\
|
|
/
|
*
Merge branch '8137_urldecode' into 3.x
Takeshi KOMIYA
2021-01-26
1
-2
/
+10
|
|
\
|
|
*
Closes #8123: Fix plus-handling (+) in search terms for basic html theme search
Daniel Hofmann
2020-08-19
1
-2
/
+10
*
|
|
Merge branch '3.x'
Takeshi KOMIYA
2021-01-01
1
-1
/
+1
|
\
\
\
|
|
/
/
|
*
|
A happy new year!
Takeshi KOMIYA
2021-01-01
1
-1
/
+1
*
|
|
Fix #8380: html search: search results are wrapped with <p> instead of <div>
Takeshi KOMIYA
2020-11-08
1
-1
/
+1
|
/
/
*
|
Fix unnecessary load of images when parsing the document text for search func...
Jan Vojt
2020-10-27
1
-4
/
+4
|
/
*
Allow searching for things like serials, phone numbers, etc
Joris Beckers
2020-07-22
1
-2
/
+1
*
Fix use of html_file_suffix instead of html_link_suffix in search results
rdb
2020-03-08
1
-1
/
+4
*
html search: show warning if [role=main] element not found
Takeshi KOMIYA
2020-02-22
1
-1
/
+3
*
Fix search in dirhtml output
Vince Salvino
2020-02-21
1
-7
/
+11
*
A happy new year!
Takeshi KOMIYA
2020-01-01
1
-1
/
+1
*
6824 fix search js bug (#6844)
Timotheus Kampik
2019-11-20
1
-2
/
+2
[next]