PtFrameSize (render, border_width)
The render flags used to define the window.
The border width of your window in pixels: either 0, or the value of the border_width flag of your window.
A list in the format (l,t,r,b) which is the widths of the left, top, right and bottom borders, in pixels.
Copyright © 1995-2010 by Cogent Real-Time Systems, Inc. All rights reserved.