/** * Sets the preference keys for the annotation painter. * * @param type the annotation type * @param colorKey the preference key for the color * @param editorKey the preference key for the presentation in the text area * @param overviewRulerKey the preference key for the presentation in the overview ruler * @param layer the layer */ public void setAnnotationPainterPreferenceKeys(Object type, String colorKey, String editorKey, String overviewRulerKey, int layer) { AnnotationPreference info= new AnnotationPreference(type, colorKey, editorKey, overviewRulerKey, layer); fAnnotationTypeKeyMap.put(type, info); }
/** * Sets the preference keys for the annotation painter. * * @param type the annotation type * @param colorKey the preference key for the color * @param editorKey the preference key for the presentation in the text area * @param overviewRulerKey the preference key for the presentation in the overview ruler * @param layer the layer */ public void setAnnotationPainterPreferenceKeys(Object type, String colorKey, String editorKey, String overviewRulerKey, int layer) { AnnotationPreference info= new AnnotationPreference(type, colorKey, editorKey, overviewRulerKey, layer); fAnnotationTypeKeyMap.put(type, info); }
/** * Sets the preference keys for the annotation painter. * * @param type the annotation type * @param colorKey the preference key for the color * @param editorKey the preference key for the presentation in the text area * @param overviewRulerKey the preference key for the presentation in the overview ruler * @param layer the layer */ public void setAnnotationPainterPreferenceKeys(Object type, String colorKey, String editorKey, String overviewRulerKey, int layer) { AnnotationPreference info= new AnnotationPreference(type, colorKey, editorKey, overviewRulerKey, layer); fAnnotationTypeKeyMap.put(type, info); }
/** * Clones the given annotation preference. * * @param annotationPreference the annotation preference to clone * @return the cloned annotation preference * @since 3.1 */ private AnnotationPreference clone(AnnotationPreference annotationPreference) { if (annotationPreference == null) return null; AnnotationPreference clone= new AnnotationPreference(); if (annotationPreference.getAnnotationType() != null) { clone.setAnnotationType(annotationPreference.getAnnotationType()); clone.merge(annotationPreference); } return clone; }
/** * Clones the given annotation preference. * * @param annotationPreference the annotation preference to clone * @return the cloned annotation preference * @since 3.1 */ private AnnotationPreference clone(AnnotationPreference annotationPreference) { if (annotationPreference == null) return null; AnnotationPreference clone= new AnnotationPreference(); if (annotationPreference.getAnnotationType() != null) { clone.setAnnotationType(annotationPreference.getAnnotationType()); clone.merge(annotationPreference); } return clone; }