Re: Old/unused display bits

[Kim Storm]

On 2013-01-25 14:48, Eli Zaretskii wrote:
> > Date: Fri, 25 Jan 2013 16:22:09 +0400
> > From: Dmitry Antipov <address@hidden>
> > CC: Eli Zaretskii <address@hidden>
> >
> > IIUC these bits are either the leftovers from old
> > code or has no real users; can we get rid of them?
> Kim, is there a reason to keep this?

Hi Eli,

Has redisplay-dont-pause been removed entirely?

I think the default has changed - but the option is still there - or ?

Iff it has been remove, the mentioned bits are indeed superfluous.
I haven't studied the patch in details though.

Kim