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

Consolidate tree view error decoration providers #3548

Merged
merged 1 commit into from
Apr 2, 2023

Conversation

mattseddon
Copy link
Member

@mattseddon mattseddon commented Mar 24, 2023

9/9 main <- #3477 <- #3520 <- #3522 <- #3532 <- #3544<- #3545 <- #3546 <- #3547 <- this

This PR follows up from #3522 (comment) by creating a shared class. Both Plots and Repository get their own instance of the class.

Demo

Screen.Recording.2023-03-24.at.8.25.26.pm.mov

extends Disposable
implements FileDecorationProvider
{
protected static DecorationError: FileDecoration = {
badge: '!',
Copy link
Member Author

Choose a reason for hiding this comment

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

Added a ! badge. WDYT? Makes it more obvious that the record relates to/has an error?

@mattseddon mattseddon force-pushed the make-data-optional branch from e9f1441 to 67de213 Compare April 2, 2023 05:58
Base automatically changed from make-data-optional to main April 2, 2023 06:14
@mattseddon mattseddon force-pushed the consolidate-decoration-provider branch from 5568e8f to 011dc8a Compare April 2, 2023 06:15
@mattseddon mattseddon enabled auto-merge (squash) April 2, 2023 06:16
@codeclimate
Copy link

codeclimate bot commented Apr 2, 2023

Code Climate has analyzed commit 011dc8a and detected 0 issues on this pull request.

The test coverage on the diff in this pull request is 100.0% (85% is the threshold).

This pull request will bring the total coverage in the repository to 95.1%.

View more on Code Climate.

@mattseddon mattseddon merged commit 0fc62cc into main Apr 2, 2023
@mattseddon mattseddon deleted the consolidate-decoration-provider branch April 2, 2023 06:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants