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

Explorer: added styling for nodes at root #11967

Merged
merged 1 commit into from
Jan 16, 2023

Conversation

EstFoisy
Copy link
Contributor

@EstFoisy EstFoisy commented Dec 7, 2022

What it does

Closes #11896.

The pull-request updates the rendering of nodes in FileTreeWidget by including additional depth padding to help differentiate nodes from the top-level root.

How to test

  1. start the application with 'theia' as workspace
  2. open the explorer and confirm that nodes (directories and files) at the root of the workspace have padding
  3. confirm that expanding directories works correctly
  4. confirm that the indent guide for the tree works correctly
  5. confirm that other FileTreeWidget or extensions of the tree work correctly
Videos
Issue.11896.-before.change.mp4
Issue.11896.-.after.change.mp4

Review checklist

Reminder for reviewers

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 believe the changes would be better suited for file-tree-widget.tsx or the explorer directly as to not affect the depth padding for all trees. For example, the search-in-workspace tree is affected by the change when it shouldn't be.

@EstFoisy EstFoisy force-pushed the ef/11896 branch 4 times, most recently from 3ce163e to 91ea2a5 Compare December 8, 2022 13:35
of workspace

Added a tabbing for the child nodes of a root, to have a visual
difference and avoid confusion
@vince-fugnitto vince-fugnitto added navigator issues related to the navigator/explorer tree issues related to the tree (ex: tree widget) labels Jan 16, 2023
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.

LGTM 👍

@vince-fugnitto vince-fugnitto merged commit d383fe2 into eclipse-theia:master Jan 16, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
navigator issues related to the navigator/explorer tree issues related to the tree (ex: tree widget)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

explorer: styling for nodes at the root of the workspace
3 participants