diff make-dist @ 68216:9f1c66838760

(Info-mode-line-node-keymap): New defvar. (Info-set-mode-line): Use `stringp' to check Info-current-file. Propertize Info-current-node with `mode-line-buffer-id' and `mode-line-highlight' faces and `Info-mode-line-node-keymap'.
author Juri Linkov <juri@jurta.org>
date Mon, 16 Jan 2006 23:54:02 +0000
parents 2cadd1e7bd46
children b99080e25b28 7beb78bc1f8e
line wrap: on
line diff