diff options
| author | Fabian Henneke <FabianHenneke@users.noreply.github.com> | 2020-04-14 21:27:51 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-15 00:57:51 +0530 |
| commit | 75a70543b3def38d3e89fce489c2c99c1bb45d5f (patch) | |
| tree | 9db9c37111bcb6ee76dfb6c8cc3097f6d8bb4480 /.github/ci-gradle.properties | |
| parent | ec8bcae8fafa638e9e2e76ee041fa2db5bd292e6 (diff) | |
Improve search logic and UI (#703)
* Don't list the current directory in search results
* Scroll to top result when search term is changed
* Match relative path in StrictDomain filter mode
* Improve and document DirectoryStructure null handling
Signed-off-by: Harsh Shandilya <me@msfjarvis.dev>
Diffstat (limited to '.github/ci-gradle.properties')
0 files changed, 0 insertions, 0 deletions