Skip to content
This repository has been archived by the owner on Oct 28, 2024. It is now read-only.

Feature edit annotation messages #170

Merged
merged 8 commits into from
Apr 9, 2022

Conversation

Shirkanesi
Copy link
Contributor

No description provided.

@Shirkanesi Shirkanesi marked this pull request as ready for review April 6, 2022 19:02
@Shirkanesi
Copy link
Contributor Author

I think the CustomButtonDialog should be refactored at some day; it evolved to kind of a god-class over time. Probably using inharitance to get rid of lots of checks inside the logic might help a lot 🤔

Copy link
Member

@dfuchss dfuchss left a comment

Choose a reason for hiding this comment

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

Code looks good! Thx for the feature. I had very minor comments :)

We'll test the feature asap that we can include it into the grading session of this term.

Copy link
Member

@dfuchss dfuchss left a comment

Choose a reason for hiding this comment

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

Looks good ; I'll modify our formatter since the java 17 features are not nicely integrated

Comment on lines +34 to +35
if (event.getSelection()instanceof TreeSelection selection) {
if (selection.getFirstElement()instanceof MarkerItem item) {
Copy link
Member

Choose a reason for hiding this comment

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

I'll change our formatter here .. :D

Copy link
Member

Choose a reason for hiding this comment

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

Nevermind .. it's a bug :( diffplug/spotless#1046

Copy link
Member

@dfuchss dfuchss left a comment

Choose a reason for hiding this comment

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

Found some issue

@dfuchss
Copy link
Member

dfuchss commented Apr 9, 2022

Thx a lot :)

@dfuchss dfuchss merged commit 88a04b6 into kit-sdq:main Apr 9, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants