|
| From: | Dmitry Antipov |
| Subject: | bug#13164: [PATCH] View DjVu documents through doc-view-mode |
| Date: | Wed, 23 Jan 2013 18:54:11 +0400 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130107 Thunderbird/17.0.2 |
On 01/23/2013 05:18 PM, Stefan Monnier wrote:
Dmitry, could you take a look at this? It looks like the new code's more aggressive avoidance of redisplay ends up leaving some mode-lines out-of-date after running timers.
Should be fixed by bzr commit 111589. Dmitry
| [Prev in Thread] | Current Thread | [Next in Thread] |