public static interface Properties.PropertyListener
Modifier and Type | Method and Description |
---|---|
<T> void |
propertyChanged(Properties.Property<T> property,
T oldValue,
T newValue) |
<T> void propertyChanged(Properties.Property<T> property, T oldValue, T newValue)
Copyright © 2003-2019 The KeY-Project.