The goal is to re-schedule the source editor_prefs.autocompletion_update_freq
ms later, instead of it kicking effectively after exactly editor_prefs.autocompletion_update_freq
-- so if you type fast, it's not called.
Yes, a better way would be to be able to amend the source's due time, but I don't know how to do that.
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.