Gtk.Window.get_frame_dimensions Reference Manual
Gtk.Window.get_frame_dimensions:
Description:
public
void
get_frame_dimensions (
int
left,
int
top,
int
right,
int
bottom)
created by
valadoc