MAX-HEIGHT-PIXELS attribute

The maximum height of the window, in pixels.

Data type:

INTEGER

Access:

Readable/Writeable

Applies to:

WINDOW widget