diff options
| author | Miles Bader | 2000-09-17 16:21:42 +0000 |
|---|---|---|
| committer | Miles Bader | 2000-09-17 16:21:42 +0000 |
| commit | 50ac70af8aeca33b8240f0c6c70b3e7f5a4882bc (patch) | |
| tree | 2642dc5a3b00c0f7367d4d18313e2381841de5ba /src | |
| parent | 729927ff5e82848396cbf59139bf0ce64bc52804 (diff) | |
| download | emacs-50ac70af8aeca33b8240f0c6c70b3e7f5a4882bc.tar.gz emacs-50ac70af8aeca33b8240f0c6c70b3e7f5a4882bc.zip | |
(Info-fontify-node):
Make a few cleanups.
Add extra `help-echo' and `local-map' props to node xrefs.
Use header-specific faces for node-names & xrefs.
(Info-use-header-line, Info-header-line):
New variables.
(info-header, info-header-xref, info-header-node):
New faces.
(Info-setup-header-line):
New function.
(Info-select-node):
Call Info-setup-header-line when enabled.
(Info-extract-pointer):
Work even if the header line is hidden.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions