()
| 678 | } |
| 679 | |
| 680 | function flushInteractionTime_inner(): void { |
| 681 | STATE.lastInteractionTime = Date.now() |
| 682 | interactionTimeDirty = false |
| 683 | } |
| 684 | |
| 685 | export function addToTotalLinesChanged(added: number, removed: number): void { |
| 686 | STATE.totalLinesAdded += added |
no test coverage detected