Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add the ability to filter tree based representations like the explorer #1918

Closed
Tracked by #1925
sbegaudeau opened this issue Apr 13, 2023 · 0 comments · Fixed by #1965
Closed
Tracked by #1925

Add the ability to filter tree based representations like the explorer #1918

sbegaudeau opened this issue Apr 13, 2023 · 0 comments · Fixed by #1965

Comments

@sbegaudeau
Copy link
Member

sbegaudeau commented Apr 13, 2023

Textual filtering of the tree on the frontend just like what is being done in VSCode using a simple textfield.
There should be two possible options:

  • highlight the match text in the tree
  • only display the tree items with a matching label

Nothing here should involve some backend communication. See the screenshot below for an example of the behavior in VSCode:

231191316-40eab713-0065-4d86-baf5-f257b109f26d

@sbegaudeau sbegaudeau added this to the 2023.6.0 milestone Apr 13, 2023
AxelRICHARD added a commit that referenced this issue Apr 17, 2023
Bug: #1918
Signed-off-by: Axel RICHARD <axel.richard@obeo.fr>
AxelRICHARD added a commit that referenced this issue Apr 17, 2023
Bug: #1918
Signed-off-by: Axel RICHARD <axel.richard@obeo.fr>
AxelRICHARD added a commit that referenced this issue Apr 25, 2023
Bug: #1918
Signed-off-by: Axel RICHARD <axel.richard@obeo.fr>
AxelRICHARD added a commit that referenced this issue Apr 25, 2023
Bug: #1918
Signed-off-by: Axel RICHARD <axel.richard@obeo.fr>
AxelRICHARD added a commit that referenced this issue Apr 28, 2023
Bug: #1918
Signed-off-by: Axel RICHARD <axel.richard@obeo.fr>
sbegaudeau pushed a commit that referenced this issue May 5, 2023
Bug: #1918
Signed-off-by: Axel RICHARD <axel.richard@obeo.fr>
sbegaudeau pushed a commit that referenced this issue May 5, 2023
Bug: #1918
Signed-off-by: Axel RICHARD <axel.richard@obeo.fr>
AxelRICHARD added a commit that referenced this issue May 9, 2023
Bug: #1918
Signed-off-by: Axel RICHARD <axel.richard@obeo.fr>
AxelRICHARD added a commit that referenced this issue May 9, 2023
Bug: #1918
Signed-off-by: Axel RICHARD <axel.richard@obeo.fr>
AxelRICHARD added a commit that referenced this issue May 10, 2023
Bug: #1918
Signed-off-by: Axel RICHARD <axel.richard@obeo.fr>
AxelRICHARD added a commit that referenced this issue May 10, 2023
Bug: #1918
Signed-off-by: Axel RICHARD <axel.richard@obeo.fr>
AxelRICHARD added a commit that referenced this issue May 10, 2023
Bug: #1918
Signed-off-by: Axel RICHARD <axel.richard@obeo.fr>
AxelRICHARD added a commit that referenced this issue May 10, 2023
Bug: #1918
Signed-off-by: Axel RICHARD <axel.richard@obeo.fr>
AxelRICHARD added a commit that referenced this issue May 10, 2023
Bug: #1918
Signed-off-by: Axel RICHARD <axel.richard@obeo.fr>
AxelRICHARD added a commit that referenced this issue May 10, 2023
Bug: #1918
Signed-off-by: Axel RICHARD <axel.richard@obeo.fr>
AxelRICHARD added a commit that referenced this issue May 10, 2023
Bug: #1918
Signed-off-by: Axel RICHARD <axel.richard@obeo.fr>
@sbegaudeau sbegaudeau linked a pull request May 10, 2023 that will close this issue
39 tasks
AxelRICHARD added a commit that referenced this issue May 10, 2023
Bug: #1918
Signed-off-by: Axel RICHARD <axel.richard@obeo.fr>
sbegaudeau pushed a commit that referenced this issue May 15, 2023
Bug: #1918
Signed-off-by: Axel RICHARD <axel.richard@obeo.fr>
sbegaudeau pushed a commit that referenced this issue May 15, 2023
Bug: #1918
Signed-off-by: Axel RICHARD <axel.richard@obeo.fr>
sbegaudeau pushed a commit that referenced this issue May 15, 2023
Bug: #1918
Signed-off-by: Axel RICHARD <axel.richard@obeo.fr>
sbegaudeau pushed a commit that referenced this issue May 15, 2023
Bug: #1918
Signed-off-by: Axel RICHARD <axel.richard@obeo.fr>
sbegaudeau pushed a commit that referenced this issue May 15, 2023
Bug: #1918
Signed-off-by: Axel RICHARD <axel.richard@obeo.fr>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants