0
0
mirror of https://github.com/vim/vim.git synced 2025-09-24 03:44:06 -04:00

updated for version 7.3.876

Problem:    #if indents are off.
Solution:   Insert a space where appropriate. (Taro Muraoka)
This commit is contained in:
Bram Moolenaar
2013-04-03 21:11:39 +02:00
parent 95a5135118
commit cdffbeae2b
2 changed files with 6 additions and 4 deletions

View File

@@ -991,7 +991,7 @@ gui_get_wide_font()
} }
gui_mch_free_font(gui.wide_font); gui_mch_free_font(gui.wide_font);
#ifdef FEAT_GUI_GTK # ifdef FEAT_GUI_GTK
/* Avoid unnecessary overhead if 'guifontwide' is equal to 'guifont'. */ /* Avoid unnecessary overhead if 'guifontwide' is equal to 'guifont'. */
if (font != NOFONT && gui.norm_font != NOFONT if (font != NOFONT && gui.norm_font != NOFONT
&& pango_font_description_equal(font, gui.norm_font)) && pango_font_description_equal(font, gui.norm_font))
@@ -1000,11 +1000,11 @@ gui_get_wide_font()
gui_mch_free_font(font); gui_mch_free_font(font);
} }
else else
#endif # endif
gui.wide_font = font; gui.wide_font = font;
#ifdef FEAT_GUI_MSWIN # ifdef FEAT_GUI_MSWIN
gui_mch_wide_font_changed(); gui_mch_wide_font_changed();
#endif # endif
return OK; return OK;
} }
#endif #endif

View File

@@ -728,6 +728,8 @@ static char *(features[]) =
static int included_patches[] = static int included_patches[] =
{ /* Add new patch number below this line */ { /* Add new patch number below this line */
/**/
876,
/**/ /**/
875, 875,
/**/ /**/