public void propertyChange (PropertyChangeEvent evt) { if (evt.getPropertyName() == AnnotationDesc.PROP_ANNOTATION_TYPE) { AnnotationDesc anno = (AnnotationDesc)evt.getSource(); LineAnnotations lineAnnos = (LineAnnotations)lineAnnotationsByMark.get(anno.getMark()); lineAnnos.refreshAnnotations(); refreshLine(lineAnnos.getLine()); } if (evt.getPropertyName() == AnnotationDesc.PROP_MOVE_TO_FRONT) { AnnotationDesc anno = (AnnotationDesc)evt.getSource(); frontAnnotation(anno); } } };
public void propertyChange(PropertyChangeEvent evt) { if (evt.getPropertyName() == AnnotationDesc.PROP_ANNOTATION_TYPE) { AnnotationDesc anno = (AnnotationDesc) evt.getSource(); LineAnnotations lineAnnos = (LineAnnotations) lineAnnotationsByMark.get(anno.getMark()); lineAnnos.refreshAnnotations(); refreshLine(lineAnnos.getLine()); } if (evt.getPropertyName() == AnnotationDesc.PROP_MOVE_TO_FRONT) { AnnotationDesc anno = (AnnotationDesc) evt.getSource(); frontAnnotation(anno); } } };