From 213e64e9800b0a3a7225268a3d69063dfc01d4a1 Mon Sep 17 00:00:00 2001 From: Benjamin Williams Date: Tue, 7 Nov 2006 13:24:30 +0000 Subject: [PATCH] add a little extra padding around text in new tab theme git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@43159 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775 --- src/aui/auibook.cpp | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/aui/auibook.cpp b/src/aui/auibook.cpp index d1a4585e2e..561693c8a4 100644 --- a/src/aui/auibook.cpp +++ b/src/aui/auibook.cpp @@ -487,11 +487,12 @@ wxSize wxAuiDefaultTabArt::GetTabSize(wxDC& dc, dc.GetTextExtent(wxT("ABCDEFXj"), &tmp, &measured_texty); - wxCoord tab_width = measured_textx + 5; + // add padding around the text + wxCoord tab_width = measured_textx + 14; wxCoord tab_height = measured_texty + 10; if (close_button_state != wxAUI_BUTTON_STATE_HIDDEN) - tab_width += m_active_close_bmp.GetWidth() + 8; + tab_width += m_active_close_bmp.GetWidth() + 3; if (m_flags & wxAUI_NB_TAB_FIXED_WIDTH)