Skip to content

Tweak real-time suggestion with a immediately-returned prefetch command#8

Merged
intitni merged 3 commits intodevelopfrom
feature/realtime-suggetion-prefetch-tweak
Jan 4, 2023
Merged

Tweak real-time suggestion with a immediately-returned prefetch command#8
intitni merged 3 commits intodevelopfrom
feature/realtime-suggetion-prefetch-tweak

Conversation

@intitni
Copy link
Copy Markdown
Owner

@intitni intitni commented Jan 4, 2023

Added a new command "Prefetch Suggestions". It will return immediately and request suggestions asynchronously. Once suggestions are fetched, it will call the command "Real-time Suggestions" to present the suggestions.

The prefetch command doesn't seem to block the editor, so the debounce threshold is lowered to 2 seconds. (maybe in the future it can be customized)

@intitni intitni merged commit fe5aa78 into develop Jan 4, 2023
@intitni intitni deleted the feature/realtime-suggetion-prefetch-tweak branch April 10, 2023 10:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant