updated for version 7.3.902
Problem: When deleting last buffer in other tab the tabline is not updated.
Solution: Set the redraw_tabline flag. (Yukihiro Nakadaira)
diff --git a/src/version.c b/src/version.c
index f117830..edeab45 100644
--- a/src/version.c
+++ b/src/version.c
@@ -729,6 +729,8 @@
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
+ 902,
+/**/
901,
/**/
900,
diff --git a/src/window.c b/src/window.c
index fadbb92..2b059bc 100644
--- a/src/window.c
+++ b/src/window.c
@@ -2070,6 +2070,7 @@
--RedrawingDisabled;
+ redraw_tabline = TRUE;
if (h != tabline_height())
shell_new_rows();
}