]> git.eshelyaron.com Git - emacs.git/commit
(Info-select-node): If Info-use-header-line is nil, set
authorEli Zaretskii <eliz@gnu.org>
Fri, 21 Dec 2001 19:09:21 +0000 (19:09 +0000)
committerEli Zaretskii <eliz@gnu.org>
Fri, 21 Dec 2001 19:09:21 +0000 (19:09 +0000)
commitbed8fddf3363063fbd606a8fbce51712940adffb
tree15d1524b89aab56984ab603cf43b824f0e67ecba
parent8f2b1272e0414a2ec54a00d5eca45a309f294a02
(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.  Remove
any such text properties left over from past visits to this node.
lisp/ChangeLog
lisp/info.el