added checkbox to disable example loader directly in dialog

JonasKlamroth commented 5 months ago

Intended Change

Added a checkbox to the example loader dialog that allows to hide it on subsequent startups. I consider this a reasonable change as this functionality is already supported by KeY but hidden in the preferences which most user might never open. Additionally i think this is standard behavior for similar IDEs or programs. No default behavior is changed.

Type of pull request

[ ] Bug fix (non-breaking change which fixes an issue)
[ ] Refactoring (behaviour should not change or only minimally change)
[x] New feature (non-breaking change which adds functionality)
[ ] Breaking change (fix or feature that would cause existing functionality to change)
[x] There are changes to the (Java) code
[ ] There are changes to the taclet rule base
[ ] There are changes to the deployment/CI infrastructure (gradle, github, ...)
[ ] Other:

Ensuring quality

[x] I made sure that introduced/changed code is well documented (javadoc and inline comments).
[x] I made sure that new/changed end-user features are well documented (https://github.com/KeYProject/key-docs).
[ ] I added new test case(s) for new functionality.
[x] I have tested the feature as follows: Multiple startups with all possible configurations.
[x] I have checked that runtime performance has not deteriorated.

Additional information and contact(s)

The contributions within this pull request are licensed under GPLv2 (only) for inclusion in KeY.

codecov[bot] commented 5 months ago

Codecov Report

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

Project coverage is 37.91%. Comparing base (1fb0c10) to head (b4cb677). Report is 18 commits behind head on main.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #3424 +/- ## ============================================ + Coverage 37.77% 37.91% +0.14% - Complexity 17031 17070 +39 ============================================ Files 2076 2076 Lines 126950 127019 +69 Branches 21381 21388 +7 ============================================ + Hits 47952 48164 +212 + Misses 73092 72949 -143 Partials 5906 5906 ```

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

wadoon commented 5 months ago

force pushed for reformat.

KeYProject / key