don't try to refresh the menu bar before showing it, fixes crash on startup with...

[wxWidgets.git] / include / wx / settings.h

diff --git a/include/wx/settings.h b/include/wx/settings.h
index 30d76e853b2eaa1fb0710d1f00e10209ad113931..7858b6d68f93a4c47d08a30e4c5d940782622adf 100644 (file)
--- a/include/wx/settings.h
+++ b/include/wx/settings.h
@@ -112,6 +112,8 @@
 #include "wx/motif/settings.h"
 #elif defined(__WXGTK__)
 #include "wx/gtk/settings.h"
+#elif defined(__WXMGL__)
+#include "wx/mgl/settings.h"
 #elif defined(__WXQT__)
 #include "wx/qt/settings.h"
 #elif defined(__WXMAC__)