-
-
Notifications
You must be signed in to change notification settings - Fork 491
remove border from tree indent #1140
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
Conversation
It's a brute-force fix. It might work, but there is a better way than using !important. Please take the time to investigate how this works and where it's coming from Theia.
Please add the "workbench.tree.renderIndentGuides": "none" to the preferences. Let me know if you have any questions.
It's a brute-force fix. It might work, but there is a better way than using
!important. Please take the time to investigate how this works and where it's coming from Theia.Please add the
"workbench.tree.renderIndentGuides": "none"to the preferences. Let me know if you have any questions.
Of course !important is always a last resort. Given the issue had been open a while I made the assumption it wasn't as simple as a config change, and override was necessary.
I'll make the required change.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM 👍
Motivation
UI improvements.
Change description
simple css override.
Reviewer checklist