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)
PreferenceChangedListener
preferenceChanged
in interface PreferenceChangedListener
e
- the preference change eventprivate static void updateJMapViewer()