diff src/w32menu.c @ 38191:6eaa11a41f8a

(rmail-msg-restore-non-pruned-header): New function. (rmail-msg-prune-header): Likewise. (rmail-toggle-header): Use `rmail-msg-restore-non-pruned-header' and `rmail-msg-prune-header'.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 26 Jun 2001 10:34:27 +0000
parents eb7af01c7f27
children eb915f0b1d6e
line wrap: on
line diff