From bb446c1d968f15c34c74e90f9319c3069bd6e025 Mon Sep 17 00:00:00 2001
From: Juri Linkov <juri@linkov.net>
Date: Mon, 13 Sep 2021 10:58:44 +0300
Subject: [PATCH] Change value of DEFAULT_TAB_BAR_BUTTON_MARGIN from 4 to 1
 (bug#50424)

---
 src/dispextern.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/dispextern.h b/src/dispextern.h
index f4c7575b352..6aefe43e195 100644
--- a/src/dispextern.h
+++ b/src/dispextern.h
@@ -3202,7 +3202,7 @@ enum tab_bar_item_idx
 
 /* Default values of the above variables.  */
 
-#define DEFAULT_TAB_BAR_BUTTON_MARGIN 4
+#define DEFAULT_TAB_BAR_BUTTON_MARGIN 1
 #define DEFAULT_TAB_BAR_BUTTON_RELIEF 1
 
 /* The height in pixels of the default tab-bar images.  */
-- 
2.39.5