Re: [PATCH] Improve the performance of the source panel by using a QTimer (bug #9493)

[Pavel Sanda]

Guillaume Munch wrote:
> +     const int long_delay = 400;
> +     const int short_delay = 40;

So we will regenerate paragraph each 40ms no matter whether user typed/moved 
with the cursor
or this gets triggered only after user action?

Pavel