Overhaul of the Configuration #3031
The KeY settings are in a hysterical and historic shape.
This PR tries to homogenize the settings to Java POJOs using the JavaBeans standard and mechanism. The measurement include:
- Introduction of Getter/Setter
- Removal of
SettingsListener
in favour ofPropertyChangeListener
(You can listen on individual configuration changes.)
Most of the changes results from dependencies to the SettingsListener
, or the change of field-access to getter and setter.
A next PR step will change the settings language in KeY files to a custom type-safe backward compatible language.
Artifacts
- 06. Apr 2023 01:52 (5787.25 kB large)
- 03. Apr 2023 12:52 (4454.76 kB large)
- 31. Mar 2023 12:27 (168.27 kB large)
- 08. Feb 2023 12:39 (1287.19 kB large)
- 08. Feb 2023 10:59 (33.36 kB large)
- 08. Feb 2023 10:55 (33.38 kB large)
- 08. Feb 2023 10:54 (33.34 kB large)