@Override public void preferenceChange(PreferenceChangeEvent evt) { if (PROPERTY_KEY_AUTO_SYNC_CURSORS.equals(evt.getKey())) { if (isActive()) { initPsvOverlayMap(); DocumentWindowManager.getDefault().addListener(SCENE_VIEW_PREDICATE, psvOverlayMapUpdater); } else { DocumentWindowManager.getDefault().removeListener(SCENE_VIEW_PREDICATE, psvOverlayMapUpdater); clearPsvOverlayMap(); } } }