/** Getter for line number of this annotation */ public int getLine() { return delegate.getLine(); }
/** Getter for line number of this annotation */ public int getLine() { return delegate.getLine(); }
/** Getter for the line number property */ public int getLine() { // #33165 - delegating of getting of the line number to first anno return (annos.size() > 0) ? ((AnnotationDesc)annos.get(0)).getLine() : 0; // return lineNumber; }
/** Add annotation to this line and activate it. */ public void addAnnotation(AnnotationDesc anno) { if (lineNumber == -1) lineNumber = anno.getLine(); annos.add(anno); if (anno.isVisible()) { active = anno; } refreshAnnotations(); }
/** * Move annotation in front of others. The activated annotation is moved in * front of other annotations on the same line */ public void frontAnnotation(AnnotationDesc anno) { int line = anno.getLine(); LineAnnotations annos = getLineAnnotations(line); if (annos == null) return; annos.activate(anno); refreshLine(line); }
public String toString() { return "Annotation: type='" + getAnnotationType() + "', line=" + getLine() + // NOI18N ", offset=" + getOffset() + ", length=" + length + // NOI18N ", coloring=" + getColoring(); // NOI18N }
/** Move annotation in front of others. The activated annotation * is moved in front of other annotations on the same line */ public void frontAnnotation(AnnotationDesc anno) { int line = anno.getLine(); LineAnnotations annos = getLineAnnotations(line); if (annos == null) return; annos.activate(anno); refreshLine(line); }
public String toString() { return "Annotation: type='" + getAnnotationType() + "', line=" + getLine() + // NOI18N ", offset=" + getOffset() + ", length=" + length + // NOI18N ", coloring=" + getColoring(); // NOI18N }
private String dumpAnnotaionDesc(AnnotationDesc ad) { return "offset=" + ad.getOffset() // NOI18N + "(ls=" + doc.getParagraphElement(ad.getOffset()).getStartOffset() // NOI18N + "), line=" + ad.getLine() // NOI18N + ", type=" + ad.getAnnotationType(); // NOI18N }
LineAnnotations lineAnnos = getLineAnnotations(anno.getLine()); if (lineAnnos == null) { lineAnnos = new LineAnnotations();
lineAnnos = getLineAnnotations(anno.getLine()); if (lineAnnos == null) { lineAnnos = new LineAnnotations();