EDWIN-TOP-HEIGHT : FLAG

EDWIN-TOP-HEIGHT is a flag or parameter.
Controls the initial height of the Top Edwff window.
EDWIN-TOP-HEIGHT takes values of type POSINTEGER.
It belongs to subjects PRINTING EDITOR .
Its default value is 3
Its current value is 3.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage