diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c index 762bdc1e51..c000a1181f 100644 --- a/src/gui_gtk_x11.c +++ b/src/gui_gtk_x11.c @@ -4532,13 +4532,11 @@ gui_mch_open(void) pixel_width = (guint)(gui_get_base_width() + Columns * gui.char_width); pixel_height = (guint)(gui_get_base_height() + Rows * gui.char_height); -# if !GTK_CHECK_VERSION(3,0,0) // For GTK2 changing the size of the form widget doesn't cause window // resizing. if (gtk_socket_id == 0) gtk_window_resize(GTK_WINDOW(gui.mainwin), pixel_width, pixel_height); update_window_manager_hints(0, 0); -# endif if (foreground_argument != NULL) fg_pixel = gui_get_color((char_u *)foreground_argument); diff --git a/src/version.c b/src/version.c index 7547f0a58c..aa7f461803 100644 --- a/src/version.c +++ b/src/version.c @@ -704,6 +704,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ +/**/ + 1377, /**/ 1376, /**/