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

Fix TreeView.reveal() behavior. #12489

Merged
merged 2 commits into from
May 17, 2023

Conversation

tsmaeder
Copy link
Contributor

@tsmaeder tsmaeder commented May 5, 2023

What it does

Fixes the TreeView.reveal behavior. The behavior was broken when we moved to a new scheme for generating TreeNode ids from TreeItems, In addition, the reveal flags (select, focus, reveal) were not passed to the front end.

Fixes #12488

Contributed on behalf of STMicroelectronics

How to test

Make sure the failure case from the related issue now works. In addition, I used the procedure from #8783 to guard against regressions.

Review checklist

Reminder for reviewers

contributed on behalf of STMicroelectronics

Signed-off-by: Thomas Mäder <[email protected]>
@vince-fugnitto vince-fugnitto added the tree issues related to the tree (ex: tree widget) label May 8, 2023
@tsmaeder tsmaeder mentioned this pull request May 11, 2023
11 tasks
Signed-off-by: Thomas Mäder <[email protected]>
Copy link
Member

@vince-fugnitto vince-fugnitto left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I confirmed that the plugin works as expected 👍

@vince-fugnitto vince-fugnitto added the vscode issues related to VSCode compatibility label May 16, 2023
@tsmaeder tsmaeder merged commit 9ff5795 into eclipse-theia:master May 17, 2023
tsmaeder added a commit to tsmaeder/theia that referenced this pull request May 23, 2023
Fixes eclipse-theia#12488

contributed on behalf of STMicroelectronics

Signed-off-by: Thomas Mäder <[email protected]>
@vince-fugnitto vince-fugnitto added this to the 1.38.0 milestone May 25, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
tree issues related to the tree (ex: tree widget) vscode issues related to VSCode compatibility
Projects
None yet
Development

Successfully merging this pull request may close these issues.

TreeView.reveal() is broken
2 participants