diff options
| author | Gigahawk <jasperchan515@gmail.com> | 2020-02-19 22:19:09 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-20 11:49:09 +0530 |
| commit | 9255583f2d0e5cfb7a88ee54ceb4f5284d41cbfa (patch) | |
| tree | 2ff407f6dfab39254d2a79561f0520a21351893a /gradle.properties | |
| parent | bcdc43b1f1d4dbfbf3014a084c0b0c0ee5aa8207 (diff) | |
Better UI flow (#630)
* Filter against entire pathname when searching
* Add option to directly open search dialog on start
* Replace basic search filter with fuzzy search
* Update CHANGELOG
Signed-off-by: Harsh Shandilya <me@msfjarvis.dev>
* Open search in onResume, force search icon to always show
* Add option to always search from root directory
Co-authored-by: Harsh Shandilya <me@msfjarvis.dev>
Diffstat (limited to 'gradle.properties')
0 files changed, 0 insertions, 0 deletions