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
This commit is contained in:
parent
47b6bebbdc
commit
213e64e980
@ -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)
|
||||
|
Loading…
Reference in New Issue
Block a user