-
Notifications
You must be signed in to change notification settings - Fork 2.5k
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
Fixed #1278: implemented tab bar decorator & supported error marker in editor tabs #5845
Conversation
@fangnx ping me when the PR is ready for a review 😃 |
4d083e2
to
d7c75da
Compare
8361c65
to
9633236
Compare
dc8fa17
to
1d366e5
Compare
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.
Few minor comments, the code is still untested on my end.
@fangnx please update the description according the project template: https://github.com/theia-ide/theia/blob/master/doc/pull-requests.md#pr-template May I ask why did you delete in the first place? Do you use some client which does not propose it? |
10d05fd
to
aec4bca
Compare
@fangnx there still seems to be an issue regarding CI, something concerning illegal characters in the method |
cf582fb
to
a63f7c5
Compare
I think code-wise it looks good. I've tried changes and it behaves well in the main area. I have following concerns:
|
5970863
to
befcddd
Compare
Just did it in the side bars in the latest push, with larger problem decorators shown. I also added a preference that can turn on/off the display of problem decorators in the tab bars, as you suggested. |
packages/markers/src/browser/problem/problem-tabbar-decorator.ts
Outdated
Show resolved
Hide resolved
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.
It works very well for me and code looks good, although pay attention to the last comment.
@vince-fugnitto Would you be fine to merge?
Sure, I'll merge once your last comment has been addressed and the CI re-passes :) |
@fangnx can you please rebase the PR? |
Done ;) |
packages/markers/src/browser/problem/problem-tabbar-decorator.ts
Outdated
Show resolved
Hide resolved
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.
Please address my comments before we can successfully merge :)
packages/markers/src/browser/problem/problem-frontend-module.ts
Outdated
Show resolved
Hide resolved
…rror marker in editor tabs - Implemented `TabBarDecorator` that provides tabs with decorations, similar to what we already had for tree nodes. - Supported diagnostic problem markers (error, warning, ...) in editor tabs in the main area. Tabs in side bars can be decorated as well in the future using the same code. - Refactored `TreeDecoration` to a more generic `NodeDecoration`, which is currently used for decorating tree nodes and tabbar tabs. Signed-off-by: fangnx <[email protected]>
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.
It works very well, really nice work :) 👍
I tested using different file types, in both the main, bottom, left and right side bars, and tested whether the preference is properly emitted and listened to.
What it does
Fixed #1278.
TabBarDecorator
that provides tabs with decorations, similar to what we already had for tree nodes.TreeDecoration
to a more genericNodeDecoration
, which is currently used for decorating tree nodes and tabbar tabs.How to test
Review checklist
Reminder for reviewers