VIRTUAL-WIDTH-PIXELS attribute

The maximum width of the widget, in pixels.

Data type:

INTEGER

Access:

Readable/Writeable

Applies to:

DIALOG-BOX widget, FRAME widget, WINDOW widget

For a non-scrollable frame, VIRTUAL-WIDTH-PIXELS has the same value as the WIDTH-PIXELS attribute. For a scrollable frame, VIRTUAL-WIDTH-PIXELS specifies the width of the entire frame while WIDTH-PIXELS specifies the width of the visible portion of the frame.