(view: EditorView, dirtyRanges: readonly DocRange[])
| 376 | } |
| 377 | |
| 378 | flushDecorations(view: EditorView, dirtyRanges: readonly DocRange[]): void { |
| 379 | const visibleRanges = normalizeRanges(view.visibleRanges); |
| 380 | const dirtyVisibleRanges = intersectRanges(dirtyRanges, visibleRanges); |
| 381 | const add = colorRanges(view, dirtyVisibleRanges); |
| 382 | |
| 383 | this.decorations = this.decorations.update({ |
| 384 | filter: (from, to) => |
| 385 | intersectsRanges(from, to, visibleRanges) && |
| 386 | !intersectsRanges(from, to, dirtyVisibleRanges), |
| 387 | add, |
| 388 | sort: true, |
| 389 | }); |
| 390 | this.visibleRanges = visibleRanges; |
| 391 | } |
| 392 | |
| 393 | changePicker(view: EditorView, canBeEdited: boolean): void { |
| 394 | const doms = view.contentDOM.querySelectorAll("input[type=color]"); |
no test coverage detected