Guard off the dock art size change temporarily for win32 and wxwidgets 3.1

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;