updated for version 7.3.717
Problem: When changing the font size, only MS-Windows limits the window
size.
Solution: Also limit the window size on other systems. (Roland Puntaier)
diff --git a/src/gui.c b/src/gui.c
index 413e1a4..55e841f 100644
--- a/src/gui.c
+++ b/src/gui.c
@@ -905,13 +905,7 @@
# endif
gui_mch_set_font(gui.norm_font);
#endif
- gui_set_shellsize(FALSE,
-#ifdef MSWIN
- TRUE
-#else
- FALSE
-#endif
- , RESIZE_BOTH);
+ gui_set_shellsize(FALSE, TRUE, RESIZE_BOTH);
}
return ret;
diff --git a/src/version.c b/src/version.c
index 607c55a..4bbb325 100644
--- a/src/version.c
+++ b/src/version.c
@@ -726,6 +726,8 @@
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
+ 717,
+/**/
716,
/**/
715,