|
| From: | Juanma Barranquero |
| Subject: | Re: redisplay-dont-pause |
| Date: | Wed, 14 Sep 2011 17:38:30 +0200 |
On Wed, Sep 14, 2011 at 17:36, Eli Zaretskii <address@hidden> wrote: > and it definitely > improves user experience when redisplay needs to work hard. +1 Juanma
| [Prev in Thread] | Current Thread | [Next in Thread] |