diff src/m/tandem-s2.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 191acacfa1ec
children 23a1cea22d13
line wrap: on
line diff