updated for version 7.3.876
Problem: #if indents are off.
Solution: Insert a space where appropriate. (Taro Muraoka)
diff --git a/src/gui.c b/src/gui.c
index 6e5d58b..1c60b7a 100644
--- a/src/gui.c
+++ b/src/gui.c
@@ -991,7 +991,7 @@
}
gui_mch_free_font(gui.wide_font);
-#ifdef FEAT_GUI_GTK
+# ifdef FEAT_GUI_GTK
/* Avoid unnecessary overhead if 'guifontwide' is equal to 'guifont'. */
if (font != NOFONT && gui.norm_font != NOFONT
&& pango_font_description_equal(font, gui.norm_font))
@@ -1000,11 +1000,11 @@
gui_mch_free_font(font);
}
else
-#endif
+# endif
gui.wide_font = font;
-#ifdef FEAT_GUI_MSWIN
+# ifdef FEAT_GUI_MSWIN
gui_mch_wide_font_changed();
-#endif
+# endif
return OK;
}
#endif
diff --git a/src/version.c b/src/version.c
index f0d5e00..a68eb13 100644
--- a/src/version.c
+++ b/src/version.c
@@ -729,6 +729,8 @@
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
+ 876,
+/**/
875,
/**/
874,