Actually it wouldn't be a difference to now, as we do event-processing
during waitForUpdate anyway.

-- 
KDevelop-devel mailing list
KDevelop-devel@kdevelop.org
https://barney.cs.uni-potsdam.de/mailman/listinfo/kdevelop-devel