diff lispref/front-cover-1.texi @ 9633:3c1d373d9125

(rmail-get-new-mail): If display-time is in use, call display-time-filter to update the Mail indicator.
author Richard M. Stallman <rms@gnu.org>
date Fri, 21 Oct 1994 00:48:18 +0000
parents 2d4db32cccd5
children ef5e7bbe6f19
line wrap: on
line diff