PROOFW-ACTIVE-HEIGHT : FLAG

PROOFW-ACTIVE-HEIGHT is a flag or parameter.
Controls the initial height of the Current Subproof window.
PROOFW-ACTIVE-HEIGHT takes values of type POSINTEGER.
It belongs to subjects PRINTING OTL-VARS .
Its default value is 24
Its current value is 24.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage