(key: string)
| 29 | } |
| 30 | |
| 31 | function decodeSessionKey(key: string) { |
| 32 | const split = key.lastIndexOf("\n") |
| 33 | if (split < 0) return { dir: key, id: WORKSPACE_KEY } |
| 34 | return { |
| 35 | dir: key.slice(0, split), |
| 36 | id: key.slice(split + 1), |
| 37 | } |
| 38 | } |
| 39 | |
| 40 | type CommentStore = { |
| 41 | comments: Record<string, LineComment[]> |