Skip to content

General cleanup #235

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

Merged
merged 21 commits into from
Aug 19, 2021
Merged

General cleanup #235

merged 21 commits into from
Aug 19, 2021

Conversation

AndreasArvidsson
Copy link
Member

@AndreasArvidsson AndreasArvidsson commented Aug 15, 2021

@AndreasArvidsson AndreasArvidsson marked this pull request as draft August 15, 2021 03:52
@AndreasArvidsson AndreasArvidsson marked this pull request as ready for review August 15, 2021 06:42
@AndreasArvidsson AndreasArvidsson added this to the 0.22.0 milestone Aug 15, 2021
Copy link
Member

@pokey pokey left a comment

Choose a reason for hiding this comment

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

Looks great! Left some comments which I'll now address myself 😊

new SourceBreakpoint(new Location(uri, new Range(line, 0, line, 0)))
new SourceBreakpoint(
new Location(uri, target.selection.selection.start)
)
);
}
});
Copy link
Member

Choose a reason for hiding this comment

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

Very clean. Good stuff

target.modifier != null ||
target.insideOutsideType != null
);
}
Copy link
Member

Choose a reason for hiding this comment

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

This file is beautiful. So much cleaner

@pokey pokey merged commit 2bcb516 into master Aug 19, 2021
@pokey pokey deleted the cleanup branch August 19, 2021 16:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
2 participants