Closed FliegendeWurst closed 7 months ago
Attention: 2 lines
in your changes are missing coverage. Please review.
Comparison is base (
5b08998
) 37.93% compared to head (d893760
) 37.93%.
Files | Patch % | Lines |
---|---|---|
...ka/ilkd/key/settings/ProofIndependentSettings.java | 0.00% | 1 Missing and 1 partial :warning: |
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
Intended Change
This changes the display of extension-provided context menu actions. If they set a menu path, it will now be respected when constructing the popup menu.
The second commit fixes a bug where it was no longer possible to disable extensions (they would always re-enable on next KeY launch).
Type of pull request
Ensuring quality
Additional information and contact(s)
The contributions within this pull request are licensed under GPLv2 (only) for inclusion in KeY.