diff lib-src/pop.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 aa5d46f74b6a
children bfaacbee089a
line wrap: on
line diff