()
| 785 | } |
| 786 | |
| 787 | refresh() { |
| 788 | let loc = this.find(); |
| 789 | if(!loc) return this.clear(); |
| 790 | |
| 791 | if(!this.annotation) { |
| 792 | this.annotation = this.editor.cm.annotateScrollbar({className: `scrollbar-annotation ${this.source.kind}`}); |
| 793 | } |
| 794 | if(loc) { |
| 795 | this.annotation.update([loc]); |
| 796 | if(!this.hidden) { |
| 797 | updateLineClasses(loc.from.line, loc.to.line, this.editor, this); |
| 798 | } else { |
| 799 | clearLineClasses(loc.from.line, loc.to.line, this.editor, this); |
| 800 | } |
| 801 | } |
| 802 | } |
| 803 | } |
| 804 | |
| 805 | export class AnnotationSpan extends Span { |
nothing calls this directly
no test coverage detected