()
| 802 | } |
| 803 | |
| 804 | initSelectionMarkers() { |
| 805 | this.syncSelectionMarkerA = new SyncSelectionMarker(); |
| 806 | this.syncSelectionMarkerB = new SyncSelectionMarker(); |
| 807 | this.sessionA.addDynamicMarker(this.syncSelectionMarkerA, true); |
| 808 | this.sessionB.addDynamicMarker(this.syncSelectionMarkerB, true); |
| 809 | } |
| 810 | clearSelectionMarkers() { |
| 811 | this.sessionA.removeMarker(this.syncSelectionMarkerA.id); |
| 812 | this.sessionB.removeMarker(this.syncSelectionMarkerB.id); |
no test coverage detected