Gdk.X11Window.set_frame_extents – gdk-x11-3.0 Reference Manual
set_frame_extents
Description:
public
static
void
set_frame_extents
(
Window
window,
int
left,
int
right,
int
top,
int
bottom)
2022 vala-language.org