Actually resize windows in gwindow_resize()

This commit is contained in:
Pierre Pronchery 2020-04-12 08:48:50 +02:00
parent 52172db5e9
commit 4386617a6f

View File

@ -220,9 +220,9 @@ void gwindow_event_expose(GWindow * gwindow, XExposeEvent * event)
/* gwindow_resize */ /* gwindow_resize */
void gwindow_resize(GWindow * gwindow, int width, int height) void gwindow_resize(GWindow * gwindow, int width, int height)
{ {
gwindow->width = (width == -1 || width > 0) ? width : -1; /* XXX may fail */
gwindow->height = (height == -1 || height > 0) ? height : -1; XResizeWindow(gtoolkit_get_display(), gwindow->window,
/* FIXME actually resize the window */ (width > 0) ? width : 1, (height > 0) ? height : 1);
} }