(event: string, ...args: any[])
| 42 | let devtoolsNotInstalled = false |
| 43 | |
| 44 | function emit(event: string, ...args: any[]) { |
| 45 | if (devtools) { |
| 46 | devtools.emit(event, ...args) |
| 47 | } else if (!devtoolsNotInstalled) { |
| 48 | buffer.push({ event, args }) |
| 49 | } |
| 50 | } |
| 51 | |
| 52 | export function setDevtoolsHook(hook: DevtoolsHook, target: any): void { |
| 53 | devtools = hook |