BORDER-TOP-PIXELS attribute

The thickness, in pixels, of the border at the top of the frame or dialog box.

Data type: INTEGER

Access: Read-only

Applies to: DIALOG-BOX widget, FRAME widget

This attribute returns zero if the BOX attribute for the widget is FALSE.