diff lib-src/profile.c @ 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 134b57acef68
children cbfae3e04e1c
line wrap: on
line diff