Examples of org.eclipse.ui.texteditor.AnnotationPreference

org.eclipse.ui.texteditor.AnnotationPreference
An annotation preference provides all the information required for handing the preferences for the presentation of annotations of a specified type. The type can be changed and retrieved using the getAnnotationType and setAnnotationType methods. For each preference, getter and setter methods are provided.
Preferences that may be changed by the user also have a corresponding key that can be used to obtain the currently set value from an IPreferenceStore.

The following annotation preferences are covered:

Display Preferences controlling how and where annotations are shown
- as text background highlighting (and respective preference key),
- as text decorations (and respective preference key),
- on the overview ruler (and respective preference key),
- on the overview ruler header,
- on the vertical ruler (and respective preference key),
Additional Display Preferences
- the base color for annotations of this type (and respective preference key),
- the style of text decorations that are drawn (and respective preference key),
- the annotation image provider,
- the quick fix image descriptor,
- the image descriptor,
- the symbolic image name,
- the presentation layer.
Navigation Preferences
- whether included in the "Go to Next Annotation" navigation action (and respective preference key),
- whether included in the "Go to Previous Annotation" navigation action (and respective preference key),
- whether to be shown in the "Go to Next/Previous Annotation" navigation toolbar drop down (and respective preference key).
Preference Page Preferences
- whether the annotation type should be included on the generic annotation preference page,
- preference label.
@since 2.1

   * @return the annotation preference
   */
  private AnnotationPreference getAnnotationPreferenceInfo(String preferenceKey) {
    Iterator e= fAnnotationTypeKeyMap.values().iterator();
    while (e.hasNext()) {
      AnnotationPreference info= (AnnotationPreference) e.next();
      if (info != null && info.isPreferenceKey(preferenceKey)) 
        return info;
    }
    return null;
  }

View Full Code Here

        fMarginPainter.paint(IPainter.CONFIGURATION);
      }
      return;
    }
    
    AnnotationPreference info= getAnnotationPreferenceInfo(p);
    if (info != null) {
      
      if (info.getColorPreferenceKey().equals(p)) {
        Color color= getColor(info.getColorPreferenceKey());
        if (fAnnotationPainter != null) {
          fAnnotationPainter.setAnnotationTypeColor(info.getAnnotationType(), color);
          fAnnotationPainter.paint(IPainter.CONFIGURATION);
        }
        setAnnotationOverviewColor(info.getAnnotationType(), color);
        return;
      }
      
      if (info.getTextPreferenceKey().equals(p) || info.getTextStylePreferenceKey() != null && info.getTextStylePreferenceKey().equals(p)) {
        Object style= getAnnotationDecorationType(info.getAnnotationType());
        if (AnnotationPreference.STYLE_NONE != style)
          showAnnotations(info.getAnnotationType(), false, true);
        else
          hideAnnotations(info.getAnnotationType(), false, true);
        return;
      }
      
      if (info.getHighlightPreferenceKey() != null && info.getHighlightPreferenceKey().equals(p)) {
        if (areAnnotationsHighlighted(info.getAnnotationType()))
          showAnnotations(info.getAnnotationType(), true, true);
        else
          hideAnnotations(info.getAnnotationType(), true, true);
        return;
      }
      
      Object style= getAnnotationDecorationType(info.getAnnotationType());
      if (style != AnnotationPreference.STYLE_NONE)
        showAnnotations(info.getAnnotationType(), false, false);
      else
//        hideAnnotations(info.getAnnotationType(), false, false);


      if (info.getOverviewRulerPreferenceKey().equals(p)) {
        if (isAnnotationOverviewShown(info.getAnnotationType()))
          showAnnotationOverview(info.getAnnotationType(), true);
        else
          hideAnnotationOverview(info.getAnnotationType(), true);
        return;
      }
    }      
        
  }

View Full Code Here

   * 
   * @param annotationType the annotation type
   * @return the color of the annotation type
   */
  private Color getAnnotationTypeColor(Object annotationType) {
    AnnotationPreference info= (AnnotationPreference) fAnnotationTypeKeyMap.get(annotationType);
    if (info != null)
      return getColor( info.getColorPreferenceKey());
    return null;
  }

View Full Code Here

   * 
   * @param annotationType the annotation type
   * @return the layer
   */
  private int getAnnotationTypeLayer(Object annotationType) {
    AnnotationPreference info= (AnnotationPreference) fAnnotationTypeKeyMap.get(annotationType);
    if (info != null)
      return info.getPresentationLayer();
    return 0;
  }

View Full Code Here

   * @return <code>true</code> if the annotations are shown
   */  
  private boolean areAnnotationsShown(Object annotationType) {
    if (fPreferenceStore != null) {
      
      AnnotationPreference info= (AnnotationPreference) fAnnotationTypeKeyMap.get(annotationType);
      if (info != null) {
        String key= info.getTextPreferenceKey();
        
        return key != null && fPreferenceStore.getBoolean(key);
      }
    }
    return false;

View Full Code Here

   * @return <code>true</code> if the annotations are highlighted
   * @since 3.0
   */  
  private boolean areAnnotationsHighlighted(Object annotationType) {
    if (fPreferenceStore != null) {
      AnnotationPreference info= (AnnotationPreference)fAnnotationTypeKeyMap.get(annotationType);
      if (info != null)
        return info.getHighlightPreferenceKey() != null && fPreferenceStore.getBoolean(info.getHighlightPreferenceKey());
    }
    return false;
  }

View Full Code Here

   * @param annotationType the annotation type
   * @return <code>true</code> if the annotation overview is shown
   */  
  private boolean isAnnotationOverviewShown(Object annotationType) {
    if (fPreferenceStore != null && fOverviewRuler != null) {
      AnnotationPreference info= (AnnotationPreference) fAnnotationTypeKeyMap.get(annotationType);
      if (info != null)
        return fPreferenceStore.getBoolean(info.getOverviewRulerPreferenceKey());
    }
    return false;
  }

View Full Code Here

0 1 2 3

TOP

Related Classes of org.eclipse.ui.texteditor.AnnotationPreference

de.fu_berlin.inf.dpp.editor.annotations.SarosAnnotation

de.fu_berlin.inf.dpp.editor.annotations.ViewportAnnotation

org.apache.uima.ruta.ide.ui.actions.RutaSelectAnnotationRulerAction

org.cfeclipse.cfml.editors.decoration.DecorationSupport

org.eclipse.php.internal.ui.editor.hover.ProblemHoverProcessor

org.eclipse.ui.editors.text.TextSourceViewerConfiguration

org.eclipse.ui.internal.editors.text.AnnotationsConfigurationBlock

org.eclipse.ui.internal.editors.text.LinkedModeConfigurationBlock

org.eclipse.ui.internal.editors.text.NextPreviousPulldownActionDelegate

org.eclipse.ui.internal.editors.text.QuickDiffConfigurationBlock

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.

Examples of org.eclipse.ui.texteditor.AnnotationPreference

The following annotation preferences are covered:

Display Preferences controlling how and where annotations are shown

Additional Display Preferences

Navigation Preferences

Preference Page Preferences

Related Classes of org.eclipse.ui.texteditor.AnnotationPreference