|
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] |