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 or view it on GitHub: https://github.com/geany/geany/commit/ec4a5ea4f92f337d97b3ab2abae88e4ebf95d777#commitcomment-18714706
