(options?: { resetZedSelectionKey?: boolean })
| 151 | } |
| 152 | |
| 153 | const clearSelectionForReconnect = (options?: { resetZedSelectionKey?: boolean }) => { |
| 154 | if (preserveSelectionOnReconnect) { |
| 155 | preserveSelectionOnReconnect = false |
| 156 | return |
| 157 | } |
| 158 | if (options?.resetZedSelectionKey) lastZedSelectionKey = undefined |
| 159 | setSelection(undefined) |
| 160 | } |
| 161 | |
| 162 | const send = (payload: JsonRpcMessage) => { |
| 163 | if (!socket || socket.readyState !== 1) return |
no test coverage detected