From: Foxe Chen <chen.foxe@gmail.com>
Date: Fri, 26 Jun 2026 20:06:25 +0000 (+0000)
Subject: patch 9.2.0730: GTK4 GUI tabline is not updated
X-Git-Tag: v9.2.0730^0
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=83581d7b383dfdd65368d2d20715d34ceeb29b63;p=thirdparty%2Fvim.git

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.foxe@gmail.com>
Signed-off-by: Christian Brabandt <cb@256bit.org>
---

diff --git a/src/gui_gtk4.c b/src/gui_gtk4.c
index 06efcfec15..e96801eb45 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 3ebb3b8d2e..782667cc23 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,
 /**/