diff lib-src/make-docfile.c @ 21704:e2283c4df334

(Info-fontify-node): For menu items, use info-xref font. Use info-node font for the node's own name, and do not make it mouse-sensitive. (Info-find-node): Update Info-history after switching buffer. (info): If no arg, and *info* buffer exists, just go to it and don't alter it.
author Richard M. Stallman <rms@gnu.org>
date Wed, 22 Apr 1998 03:19:43 +0000
parents 77fa90ed939d
children 798a28989dde
line wrap: on
line diff