-
Eli Zaretskii authored
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.
4dcd20ec
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.