diff oldXMenu/XDelAssoc.c @ 42241:cfb7f074df86

(Info-select-node): If Info-use-header-line is nil, set header-line-format to nil. (Info-fontify-node): Don't put a keymap text property on the heading if we are not going to display the header line.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 21 Dec 2001 18:37:00 +0000
parents bbce331da1be
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff