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

diff --git a/src/aui/auibook.cpp b/src/aui/auibook.cpp
index d1a4585e2e282f93eeb01db8c385bc9271088b1e..561693c8a4bb4dc53a2f248397dd7b909c8e4c0a 100644 (file)
--- 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)