gtkWindowSetFrameDimensions: gtkWindowSetFrameDimensions
Description
(Note: this is a special-purpose function intended for the framebuffer
port; see gtkWindowSetHasFrame
. It will have no effect on the
window border drawn by the window manager, which is the normal
case when using the X Window system.)Usage
gtkWindowSetFrameDimensions(object, left, top, right, bottom)
Arguments
left
The width of the left border
top
The height of the top border
right
The width of the right border
bottom
The height of the bottom border
Details
For windows with frames (see gtkWindowSetHasFrame
) this function
can be used to change the size of the frame border.