void set_frame_dimensions(int left, int top, int right, int bottom);

Sets the width of the frame borders for the window.

This is a special-purpose function intended for the framebuffer port; see set_has_frame() . 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.

See also: get_frame_dimensions()