|
| From: | Eli Zaretskii |
| Subject: | Re: Getting rid of redisplay-dont-pause |
| Date: | Mon, 15 Dec 2014 22:56:46 +0200 |
> From: Stefan Monnier <address@hidden> > Date: Mon, 15 Dec 2014 15:34:53 -0500 > > I'm planning on obsoleting redisplay-dont-pause. Any objection? Go ahead.
| [Prev in Thread] | Current Thread | [Next in Thread] |