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.PreferenceChangedListenerpreferenceChanged in interface Preferences.PreferenceChangedListenere - the preference change eventprivate void updateJMapViewer()