Artiweb > Pull Request #3031

Overhaul of the Configuration #3031

Github

Description

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 of PropertyChangeListener (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