private static class MapMover.JMapViewerUpdater extends java.lang.Object implements Preferences.PreferenceChangedListener
Constructor and Description |
---|
JMapViewerUpdater() |
Modifier and Type | Method and Description |
---|---|
void |
preferenceChanged(Preferences.PreferenceChangeEvent e)
Trigerred when a preference entry value changes.
|
private void |
updateJMapViewer() |
JMapViewerUpdater()
public void preferenceChanged(Preferences.PreferenceChangeEvent e)
Preferences.PreferenceChangedListener
preferenceChanged
in interface Preferences.PreferenceChangedListener
e
- the preference change eventprivate void updateJMapViewer()