updated for version 7.0c13
diff --git a/src/gui.c b/src/gui.c
index 4c7c775..208b721 100644
--- a/src/gui.c
+++ b/src/gui.c
@@ -591,7 +591,7 @@
/* When 'cmdheight' was set during startup it may not have taken
* effect yet. */
if (p_ch != 1L)
- command_height(-1L);
+ command_height();
return;
}
@@ -3497,6 +3497,25 @@
return TRUE;
}
+/*
+ * Send a tabline menu event
+ */
+ void
+send_tabline_menu_event(tabidx, event)
+ int tabidx;
+ int event;
+{
+ char_u string[3];
+
+ string[0] = CSI;
+ string[1] = KS_TABMENU;
+ string[2] = KE_FILLER;
+ add_to_input_buf(string, 3);
+ string[0] = tabidx;
+ string[1] = (char_u)(long)event;
+ add_to_input_buf_csi(string, 2);
+}
+
#endif
/*