comparison src/m/pmax.h @ 33136:9cc052f43d5e

(info-menu-header): New face. (Info-fontify-menu-headers): New function. (Info-fontify-node, Info-insert-dir): Call `Info-fontify-menu-headers'.
author Miles Bader <miles@gnu.org>
date Thu, 02 Nov 2000 02:12:57 +0000
parents 325eddf4eb21
children 4be8406ebef9
comparison
equal deleted inserted replaced
33135:846411ce5c4c 33136:9cc052f43d5e