You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
If config.plugins.autocomplete.min_len is greater than 1, when the autocomplete dialog is open, the completion isn't updated until min_len is reached. In servers that reply with a textEdit, this causes the following behavior:
2023-07-17.19-53-50.mp4
In this case config.plugins.autocomplete.min_len was 3.
In the first attempt I'm writing only 2 chars, and then confirming the autocomplete. This leads to those two chars to be kept.
In the second attempt I'm writing 3 chars, enough to trigger an update, so when I confirm the autocomplete, the result is correct.
Two solutions come to mind:
Updating when the autocomplete menu is open.
When applying the textEdit we should manually delete the partial.
Solution 1 could potentially lead to problems with slower servers.
Solution 2 needs a patch to the autocomplete plugin.
For now I'll implement solution 1.
The text was updated successfully, but these errors were encountered:
This change handles issue reported on lite-xl/lite-xl-lsp#67
by restoring previous partial since the completion request is async
and new text could have been written while handling the LSP server
response, which results in invalid insert positions for the received
completion items.
Depends on pragtical/pragtical#66
This change handles issue reported on lite-xl/lite-xl-lsp#67
by restoring previous partial since the completion request is async
and new text could have been written by user while handling the
LSP server response, which can result in invalid insert positions for
the received completion items.
Depends on pragtical/pragtical#66
If
config.plugins.autocomplete.min_len
is greater than 1, when the autocomplete dialog is open, the completion isn't updated untilmin_len
is reached. In servers that reply with atextEdit
, this causes the following behavior:2023-07-17.19-53-50.mp4
In this case
config.plugins.autocomplete.min_len
was 3.In the first attempt I'm writing only 2 chars, and then confirming the autocomplete. This leads to those two chars to be kept.
In the second attempt I'm writing 3 chars, enough to trigger an update, so when I confirm the autocomplete, the result is correct.
Two solutions come to mind:
textEdit
we should manually delete thepartial
.Solution 1 could potentially lead to problems with slower servers.
Solution 2 needs a patch to the
autocomplete
plugin.For now I'll implement solution 1.
The text was updated successfully, but these errors were encountered: