The goal is to re-schedule the source editor_prefs.autocompletion_update_freqms 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.