diff src/m/vax.h @ 32533:ec12d23c8eea

(Info-set-mode-line): Use `%b' instead of hardwired string "*Info*". Call propertized-buffer-identification to spruce up the result.
author Miles Bader <miles@gnu.org>
date Mon, 16 Oct 2000 13:59:49 +0000
parents 02044b05d8e0
children 4be8406ebef9
line wrap: on
line diff