a tad bit more padding

git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@43160 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775
This commit is contained in:
Benjamin Williams
2006-11-07 13:26:05 +00:00
parent 213e64e980
commit cf143a431c

View File

@@ -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)