* modules/gui/wxwindows/interface.cpp: slightly bigger interface on win32.

diff --git a/modules/gui/wxwindows/interface.cpp b/modules/gui/wxwindows/interface.cpp
index c50020e6b0192d96218eac5a6dd308c7e64523dd..eef3c60a6207089623cc4165f0e262a50dd13074 100644 (file)
--- a/modules/gui/wxwindows/interface.cpp
+++ b/modules/gui/wxwindows/interface.cpp
@@ -375,7 +375,7 @@ void Interface::CreateOurMenuBar()
 #if (wxMAJOR_VERSION <= 2) && (wxMINOR_VERSION <= 5) && (wxRELEASE_NUMBER < 3)
             4 /* approximate margin */;
 #else
-            15 /* approximate margin */;
+            18 /* approximate margin */;
 #endif
 #endif
     }