(session: vscode.DebugSession)
| 541 | } |
| 542 | |
| 543 | public debugStopped(session: vscode.DebugSession) { |
| 544 | if (this.isSameSession(session)) { |
| 545 | this.isStopped = true; |
| 546 | this.killTimer(); |
| 547 | // There are some pauses that are very brief, so lets not refresh when stopped. Lets |
| 548 | // wait and see if the a refresh is needed or else it will already be performed if the |
| 549 | // program has already continued |
| 550 | setTimeout(() => { |
| 551 | if (!this.timeout) { |
| 552 | this.refresh(LiveWatchTreeProvider.session); |
| 553 | } |
| 554 | }, 250); |
| 555 | } |
| 556 | } |
| 557 | |
| 558 | public debugContinued(session: vscode.DebugSession) { |
| 559 | if (this.isSameSession(session)) { |
nothing calls this directly
no test coverage detected