diff options
Diffstat (limited to 'src/gui_gtk_x11.c')
| -rw-r--r-- | src/gui_gtk_x11.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c index 86cd59cea..2db203b85 100644 --- a/src/gui_gtk_x11.c +++ b/src/gui_gtk_x11.c @@ -4231,7 +4231,7 @@ gui_mch_open(void) #ifdef HAVE_GTK2 /* For GTK2 changing the size of the form widget doesn't cause window * resizing. */ - if (gtk_socket_id == 0) + if (gtk_socket_id == 0) gtk_window_resize(GTK_WINDOW(gui.mainwin), pixel_width, pixel_height); #else gtk_form_set_size(GTK_FORM(gui.formwin), pixel_width, pixel_height); |