gdk:window-resize (window width height)

window -- a gdk:window object
width -- an integer with the new width of the window
height -- an integer with the new height of the window

Resizes the window, for toplevel windows, asks the window manager to resize the window. The window manager may not allow the resize. When using GTK, use the gtk:window-resize function instead of this low-level GDK function.

Windows may not be resized below 1x1.

If you are also planning to move the window, use the gdk:window-move-resize function to both move and resize simultaneously, for a nicer visual effect.