view etc/ps-prin2.ps @ 31660:84c9abde389f

(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.
author Miles Bader <miles@gnu.org>
date Sun, 17 Sep 2000 16:20:35 +0000
parents cdd489417ae4
children b5a4db21c424
line wrap: on
line source

% === BEGIN ps-print prologue 2
% version: 6.0

% ---- These lines must be kept together because...

/h0 F
/HeaderTitleLineHeight FontHeight def

/h1 F
/HeaderLineHeight FontHeight def
/HeaderDescent    Descent def

% ---- ...because `F' has a side-effect on `FontHeight' and `Descent'

% === END ps-print prologue 2