diff move-if-change @ 45458:7d835214e61e

(Info-fontify): Deleted. (Info-select-node): Don't use it. (Info-mode-hook): New variable. (Info-mode): Set up categories. (Info-fontify-menu-headers, Info-fontify-node): Use categories.
author Colin Walters <walters@gnu.org>
date Tue, 21 May 2002 22:22:10 +0000
parents 354e0c45cedf
children 14a97ab281d5
line wrap: on
line diff