()
| 18 | * - User presses keyboard shortcuts |
| 19 | */ |
| 20 | export function reportActivity(): void { |
| 21 | lastActivityTime = Date.now() |
| 22 | for (const listener of listeners) { |
| 23 | listener(lastActivityTime) |
| 24 | } |
| 25 | } |
| 26 | |
| 27 | /** |
| 28 | * Get the timestamp of the last user activity. |
no test coverage detected