search

KeYProject / key

KeY Theorem Prover for Deductive Java Verification
https://key-project.org
Other
41 stars 24 forks source link

JML enabled keys indicator for the Status Line #3374

Closed wadoon closed 6 months ago

wadoon commented 9 months ago

Addition to #3373 which brings the following UI element:

image

A label which represents the current value of the enabled keys in GeneralSettings.

codecov[bot] commented 9 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 37.77%. Comparing base (1fb0c10) to head (83649ef).

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #3374 +/- ## ============================================ - Coverage 37.77% 37.77% -0.01% + Complexity 17031 17030 -1 ============================================ Files 2076 2076 Lines 126950 126951 +1 Branches 21381 21381 ============================================ Hits 47952 47952 Misses 73092 73092 - Partials 5906 5907 +1 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

mattulbrich commented 8 months ago

Nice idea, but it looks a bit ugly as it is in the screenshot, doesn't it? Should read "Currently" in the tooltip.

wadoon commented 8 months ago

Added more margin:

image