Home
last modified time | relevance | path

Searched refs:refreshSignalHandlerInterval (Results 1 – 1 of 1) sorted by relevance

/aosp_15_r20/external/pigweed/pw_ide/ts/pigweed-vscode/src/
H A DrefreshManager.ts121 private refreshSignalHandlerInterval: NodeJS.Timeout | undefined; property in RefreshManager
133 this.refreshSignalHandlerInterval = setInterval(
194 if (this.refreshSignalHandlerInterval) {
195 clearInterval(this.refreshSignalHandlerInterval);