theia-trace-extension
theia-trace-extension copied to clipboard
Add search Views by name
trafficstars
⚠️Note: In this issue, the term "view" should have been used instead of "~~analysis~~" (see comment). The issue title and description are updated, but all comments below are unchanged.
Searching by name is a fast and direct search option for users who know what they are looking for.
- Label search field with “Search views ~~analyses~~ by name” (or “Search by name”, depending on available horizontal space).
- Update search results as the user types.
- Display “No views ~~analyses~~ found.” if there are no matches.
Field style
- Descriptive label in low contrast colour
- Blue outline when selected
- A magnifying glass icon is an intuitive way to reinforce the purpose of the field. But, the VS Code sidebar is narrow and the search bars in VS Code simply label the box “Search” (shown higher) so the icon could also be left out.
Current list of views:

This feature covers the search action of Location: Target is known, Location is unknown.

Not currently relevant since the number of views is short (<10)