MAX-HEIGHT-PIXELS attribute

The maximum height of the window, in pixels.

Data type: INTEGER

Access: Readable/Writeable

Applies to: WINDOW widget