()
| 94 | void refreshRemoteWorkspaceInfo() |
| 95 | |
| 96 | function yieldRendererTask(): Promise<void> { |
| 97 | return new Promise((resolve) => setTimeout(resolve, 0)) |
| 98 | } |
| 99 | |
| 100 | async function listNotesStreamed(): Promise<NoteMeta[]> { |
| 101 | const requestId = `${Date.now()}-${Math.random().toString(16).slice(2)}` |