diff options
| author | Willem Jan Palenstijn | 2017-03-01 00:24:06 +0100 |
|---|---|---|
| committer | Willem Jan Palenstijn | 2017-03-01 00:24:06 +0100 |
| commit | 7dd1a1e4f52b962ebcfe78584acdb9242797028f (patch) | |
| tree | 395c2960b31e22b55e948d34a8a5d8416debaed7 /gui/widgets | |
| parent | c64d91833f0b35ad415ef4a722038ce729bac85b (diff) | |
| download | scummvm-rg350-7dd1a1e4f52b962ebcfe78584acdb9242797028f.tar.gz scummvm-rg350-7dd1a1e4f52b962ebcfe78584acdb9242797028f.tar.bz2 scummvm-rg350-7dd1a1e4f52b962ebcfe78584acdb9242797028f.zip | |
GUI: Increase tab title spacing
Diffstat (limited to 'gui/widgets')
| -rw-r--r-- | gui/widgets/tab.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
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; |