fix(tui): keep Zed context polling responsive (#24711)
This commit is contained in:
@@ -116,6 +116,12 @@ export const { use: useEditorContext, provider: EditorContextProvider } = create
|
|||||||
reconnect = setTimeout(connect, delay)
|
reconnect = setTimeout(connect, delay)
|
||||||
}
|
}
|
||||||
|
|
||||||
|
const scheduleZedPoll = () => {
|
||||||
|
if (closed) return
|
||||||
|
if (reconnect) clearTimeout(reconnect)
|
||||||
|
reconnect = setTimeout(connect, 1000)
|
||||||
|
}
|
||||||
|
|
||||||
const connect = () => {
|
const connect = () => {
|
||||||
if (closed) return
|
if (closed) return
|
||||||
|
|
||||||
@@ -145,7 +151,7 @@ export const { use: useEditorContext, provider: EditorContextProvider } = create
|
|||||||
.finally(() => {
|
.finally(() => {
|
||||||
zedSelection = undefined
|
zedSelection = undefined
|
||||||
})
|
})
|
||||||
scheduleReconnect()
|
scheduleZedPoll()
|
||||||
return
|
return
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user