diff options
| author | Timotheus Kampik <timotheus.kampik@gmail.com> | 2019-01-27 20:32:56 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-27 20:32:56 +0100 |
| commit | 97d99f830258a4612a6c77f5be084819634dcbad (patch) | |
| tree | cc858f5809b730f29b6bdd9dc101979156971b39 /doc/development/tutorials/examples/todo.py | |
| parent | 1ea41ed6ca885faf277fcea0d12783f462565fbc (diff) | |
| parent | 25fd9d82a6ab5fbb996a36e146c3be4970d844f2 (diff) | |
| download | sphinx-git-97d99f830258a4612a6c77f5be084819634dcbad.tar.gz | |
Merge pull request #5979 from TimKam/4649-fix-search-for-filenames
The search function considers every page a "miss"/no match if the search contains a term with length <= 2;
This is problem when users search for filenames, identifiers, et cetera.
This PR changes the behavior to be more lenient in such cases: if an additional search term is of length <= 2, it is ignored (no longer a necessary condition for a match).
Diffstat (limited to 'doc/development/tutorials/examples/todo.py')
0 files changed, 0 insertions, 0 deletions