diff --git a/common/widgets/wx_aui_dock_art.cpp b/common/widgets/wx_aui_dock_art.cpp index 9ef04db90f..315b8d7701 100644 --- a/common/widgets/wx_aui_dock_art.cpp +++ b/common/widgets/wx_aui_dock_art.cpp @@ -23,11 +23,15 @@ WX_AUI_DOCK_ART::WX_AUI_DOCK_ART() : wxAuiDefaultDockArt() { +#if defined( _WIN32 ) +#if wxCHECK_VERSION( 3, 1, 0 ) // Use normal control font, wx likes to use "small" m_captionFont = *wxNORMAL_FONT; // Increase the box the caption rests in size a bit - m_captionSize = wxWindow::FromDIP( 25, NULL ); + m_captionSize = wxWindow::FromDIP( 20, NULL ); +#endif +#endif // Turn off the ridiculous looking gradient m_gradientType = wxAUI_GRADIENT_NONE;