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 /app/.gitignore | |
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 'app/.gitignore')
0 files changed, 0 insertions, 0 deletions