From cf143a431c1811b51157bc17477a867ee213792f Mon Sep 17 00:00:00 2001 From: Benjamin Williams Date: Tue, 7 Nov 2006 13:26:05 +0000 Subject: [PATCH] a tad bit more padding git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@43160 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775 --- src/aui/auibook.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/aui/auibook.cpp b/src/aui/auibook.cpp index 561693c8a4..709fe07722 100644 --- a/src/aui/auibook.cpp +++ b/src/aui/auibook.cpp @@ -488,7 +488,7 @@ wxSize wxAuiDefaultTabArt::GetTabSize(wxDC& dc, dc.GetTextExtent(wxT("ABCDEFXj"), &tmp, &measured_texty); // add padding around the text - wxCoord tab_width = measured_textx + 14; + wxCoord tab_width = measured_textx + 16; wxCoord tab_height = measured_texty + 10; if (close_button_state != wxAUI_BUTTON_STATE_HIDDEN) -- 2.50.0