Subject: bug#13164: [PATCH] View DjVu documents through doc-view-mode

From: Tassilo Horn <[email-masked]>
Date: Thu, 24 Jan 2013 08:39:55 +0100

Dmitry Antipov <[email-masked]> writes:

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

Confirmed, it works again.  Thanks Dmitry!

I'm closing the bug since the original issue (the DjVu patches) have
already been applied.

Bye,
Tassilo