Fix unrequested codecompletion menu: When asking for auto-completion,…#6

Merged

spillz merged 1 commit into

spillz:masterfrom

yvesdm3000:master

Jun 4, 2018

Commits on Mar 22, 2017

Fix unrequested codecompletion menu: When asking for auto-completion, a background task starts, and then the insertion-point changes by the user (probably he doesn't want to wait for the CC results…
yvesdm3000
committed