| Overview | Package | Class | Use | Tree | Deprecated | Index | Help |
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface SettingsChangeListener
This change listener listens for settings changes, i.e. for changes of the global program settings.
| Method Summary | |
|---|---|
void |
settingsChanged(java.util.Properties properties)
This method will be called after a settings change. |
| Method Detail |
|---|
void settingsChanged(java.util.Properties properties)
|
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||