/** * Returns the marker annotation preferences. * * @return the marker annotation preferences * @since 3.1 */ public synchronized MarkerAnnotationPreferences getMarkerAnnotationPreferences() { if (!isMarkerAnnotationPreferencesInitialized()) new MarkerAnnotationPreferences().getAnnotationPreferences(); // force creation of shared preferences return fMarkerAnnotationPreferences; }
/** * Returns the marker annotation preferences. * * @return the marker annotation preferences * @since 3.1 */ public synchronized MarkerAnnotationPreferences getMarkerAnnotationPreferences() { if (!isMarkerAnnotationPreferencesInitialized()) new MarkerAnnotationPreferences().getAnnotationPreferences(); // force creation of shared preferences return fMarkerAnnotationPreferences; }
private void initialize() { synchronized (EditorsPlugin.getDefault()) { if (!EditorsPlugin.getDefault().isMarkerAnnotationPreferencesInitialized()) EditorsPlugin.getDefault().setMarkerAnnotationPreferences(new MarkerAnnotationPreferences(true)); } MarkerAnnotationPreferences sharedPrefs= EditorsPlugin.getDefault().getMarkerAnnotationPreferences(); fFragments= cloneAnnotationPreferences(sharedPrefs.fFragments); fPreferences= cloneAnnotationPreferences(sharedPrefs.fPreferences); }
private void initialize() { synchronized (EditorsPlugin.getDefault()) { if (!EditorsPlugin.getDefault().isMarkerAnnotationPreferencesInitialized()) EditorsPlugin.getDefault().setMarkerAnnotationPreferences(new MarkerAnnotationPreferences(true)); } MarkerAnnotationPreferences sharedPrefs= EditorsPlugin.getDefault().getMarkerAnnotationPreferences(); fFragments= cloneAnnotationPreferences(sharedPrefs.fFragments); fPreferences= cloneAnnotationPreferences(sharedPrefs.fPreferences); }