Closed FliegendeWurst closed 5 months ago
All modified and coverable lines are covered by tests :white_check_mark:
Project coverage is 37.85%. Comparing base (
9ad6cc8
) to head (4cf1755
).
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
Related Issue
This pull request fixes #3416.
Intended Change
This PR removes the fallback to the old
.properties
file in ColorSettings. Due to an issue in static initialization order, it is not possible to use the SettingsManager to (attempt to) read the old configuration file.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.