WINDOW-STYLE : FLAG

WINDOW-STYLE is a flag or parameter.
The style of output that will be used in all the windows
besides the main one, if USE-WINDOW-STYLE is T. Ignored if
USE-WINDOW-STYLE is NIL.
WINDOW-STYLE takes values of type DEV-STYLE.
It belongs to subjects PRINTING .
Its default value is XTERM
Its current value is XTERM.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage