GtkWindow::set_frame_dimensions
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()