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