From 7dd1a1e4f52b962ebcfe78584acdb9242797028f Mon Sep 17 00:00:00 2001
From: Willem Jan Palenstijn
Date: Wed, 1 Mar 2017 00:24:06 +0100
Subject: GUI: Increase tab title spacing

---
 gui/widgets/tab.cpp | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'gui/widgets')

diff --git a/gui/widgets/tab.cpp b/gui/widgets/tab.cpp
index c86c835b88..9bf9527c4f 100644
--- a/gui/widgets/tab.cpp
+++ b/gui/widgets/tab.cpp
@@ -33,6 +33,8 @@ enum {
 	kCmdRight = 'RGHT'
 };
 
+static const int kTabTitleSpacing = 2 * 5;
+
 TabWidget::TabWidget(GuiObject *boss, int x, int y, int w, int h)
 	: Widget(boss, x, y, w, h), _bodyBackgroundType(GUI::ThemeEngine::kDialogBackgroundDefault) {
 	init();
@@ -108,7 +110,7 @@ int TabWidget::addTab(const String &title) {
 	newTab.firstWidget = 0;
 
 	// Determine the new tab width
-	int newWidth = g_gui.getStringWidth(title) + 2 * 3;
+	int newWidth = g_gui.getStringWidth(title) + kTabTitleSpacing;
 	if (newWidth < _minTabWidth)
 		newWidth = _minTabWidth;
 	newTab._tabWidth = newWidth;
@@ -278,7 +280,7 @@ void TabWidget::reflowLayout() {
 
 	for (uint i = 0; i < _tabs.size(); ++i) {
 		// Determine the new tab width
-		int newWidth = g_gui.getStringWidth(_tabs[i].title) + 2 * 3;
+		int newWidth = g_gui.getStringWidth(_tabs[i].title) + kTabTitleSpacing;
 		if (newWidth < _minTabWidth)
 			newWidth = _minTabWidth;
 		_tabs[i]._tabWidth = newWidth;
-- 
cgit v1.2.3