patch 9.2.0730: GTK4 GUI tabline is not updated
Commit:
https://github.com/vim/vim/commit/83581d7b383dfdd65368d2d20715d34ceeb29b63
Author: Foxe Chen <
chen...@gmail.com>
Date: Fri Jun 26 20:06:25 2026 +0000
patch 9.2.0730: GTK4 GUI tabline is not updated
Problem: GTK4 GUI tabline is not updated
Solution: Call gui_mch_update() in gui_mch_show_tabline(), matching the
GTK3 GUI (Foxe Chen).
related: #20633
Signed-off-by: Foxe Chen <
chen...@gmail.com>
Signed-off-by: Christian Brabandt <
c...@256bit.org>
diff --git a/src/gui_gtk4.c b/src/gui_gtk4.c
index 06efcfec1..e96801eb4 100644
--- a/src/gui_gtk4.c
+++ b/src/gui_gtk4.c
@@ -2825,8 +2825,10 @@ gui_mch_draw_menubar(void)
void
gui_mch_show_tabline(int showit)
{
- if (gui.tabline != NULL)
- gtk_widget_set_visible(gui.tabline, showit);
+ if (gui.tabline == NULL)
+ return;
+ gtk_widget_set_visible(gui.tabline, showit);
+ gui_mch_update();
}
int
diff --git a/src/version.c b/src/version.c
index 3ebb3b8d2..782667cc2 100644
--- a/src/version.c
+++ b/src/version.c
@@ -759,6 +759,8 @@ static char *(features[]) =
static int included_patches[] =
{ /* Add new patch number below this line */
+/**/
+ 730,
/**/
729,
/**/