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.
