diff options
author | pommicket <pommicket@gmail.com> | 2023-09-10 00:11:27 -0400 |
---|---|---|
committer | pommicket <pommicket@gmail.com> | 2023-09-10 00:11:43 -0400 |
commit | 21cb2ba466ec0876d4e04fcca117650101d9359f (patch) | |
tree | 19afe36254cedea198bba5f2a1af5443a27a30a7 /ide-hover.c | |
parent | 7185635a553d44b537d6fd1264ceedf421e114ef (diff) |
fix godot issues by adding lsp-delay
Diffstat (limited to 'ide-hover.c')
-rw-r--r-- | ide-hover.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ide-hover.c b/ide-hover.c index 59498f7..ff5fb19 100644 --- a/ide-hover.c +++ b/ide-hover.c @@ -90,7 +90,7 @@ void hover_process_lsp_response(Ted *ted, const LSPResponse *response) { if (hover->text // we already have hover text && ( - lsp->id != hover->last_request.lsp // this request is from a different LSP + lsp_get_id(lsp) != hover->last_request.lsp // this request is from a different LSP || !lsp_document_position_eq(response->request.data.hover.position, pos) // this request is for a different position )) { // this is a stale request. ignore it @@ -141,7 +141,7 @@ void hover_frame(Ted *ted, double dt) { LSPDocumentPosition pos={0}; LSP *lsp=0; if (get_hover_position(ted, &pos, &buffer, &lsp)) { - if (lsp->id != hover->last_request.lsp + if (lsp_get_id(lsp) != hover->last_request.lsp || !lsp_document_position_eq(pos, hover->requested_position)) { // refresh hover hover_send_request(ted); |