Packages
gdk-x11-3.0
Gdk
X11Window
foreign_new_for_display
get_desktop
get_xid
lookup_for_display
move_to_current_desktop
move_to_desktop
set_frame_extents
set_frame_sync_enabled
set_hide_titlebar_when_maximized
set_theme_variant
set_user_time
set_utf8_property
X11Window
set_frame_extents
Description:
public
static
void
set_frame_extents
(
Window
window,
int
left,
int
right,
int
top,
int
bottom)