view etc/ps-prin2.ps @ 30631:0c3f7d0ebb82

(ensure_echo_area_buffers): If a buffer was killed and a new buffer is created, make sure make sure echo_area_buffer[] references the new buffer.

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

% ---- 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