diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-08-13 19:16:17 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-08-17 13:48:25 +0200 |
| commit | cef7ca4abb59d3d316ba026c6248544c931394e8 (patch) | |
| tree | 0593cbefea8e7423984181d91de5ceee56f0f74e /modules/mono/utils | |
| parent | de4aabe89b7b68677f145f21c956183bbc92f686 (diff) | |
Improve the project manager UI
This incorporates many suggestions from #31342.
This also revises the search behavior to be simpler and more efficient:
- Searching will now search in both the project name and path. A project
will be displayed if either of these match the search term.
- If the search term contains a "/", the whole path will be used to match
the search term. Otherwise, only the last path component will be used.
Diffstat (limited to 'modules/mono/utils')
0 files changed, 0 insertions, 0 deletions