(Info-select-node): If Info-use-header-line is nil, set
authorEli Zaretskii <eliz@gnu.org>
Fri, 21 Dec 2001 18:38:52 +0000 (18:38 +0000)
committerEli Zaretskii <eliz@gnu.org>
Fri, 21 Dec 2001 18:38:52 +0000 (18:38 +0000)
commit4dcd20ec59ac274c4b800c026aa38c437a305844
tree11ec84e5a655aaf286607b2debfc2f01c781c2ba
parent7f1b5edca1545d4d3331e6abc3a76d091f84a301
(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.
lisp/ChangeLog
lisp/info.el