diff --git a/include/widgets/wx_menubar.h b/include/widgets/wx_menubar.h
index 538d009eab..3268228c9b 100644
--- a/include/widgets/wx_menubar.h
+++ b/include/widgets/wx_menubar.h
@@ -54,9 +54,12 @@ public:
         wxMenuBar::SetAcceleratorTable( wxAcceleratorTable() );
     }
 
+/// In version 3.1, wxWidgets makes SetDoubleBuffered() a virtual function
 #ifdef __WXMAC__
+#if !wxCHECK_VERSION( 3, 1, 0 )
     void SetDoubleBuffered( bool ) { }
 #endif
+#endif
 };
 
 #endif // WX_MENUBAR_H_