diff config.bat @ 26005:6613b3835666

(help-xref-interned): make it also work on variable-only and function-only symbols. (help-make-xrefs): take advantage of the new `help-xref-interned'. (help-follow): if the point under mouse is not highlighted, try `help-xref-interned' on the pointed-to symbol anyway.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Wed, 13 Oct 1999 16:14:15 +0000
parents 827d4eface8f
children a723efe4f841
line wrap: on
line diff