don't do anything in SetWindowMenu() if we're setting the same menu as we already...

[wxWidgets.git] / include / wx / os2 / apptbase.h

diff --git a/include/wx/os2/apptbase.h b/include/wx/os2/apptbase.h
index 6841e24fdb3741bebd374e597838397743973e6e..5916fda07dbc92658ebb8c045fe51db3cc043fbc 100644 (file)
--- a/include/wx/os2/apptbase.h
+++ b/include/wx/os2/apptbase.h
@@ -6,7 +6,7 @@
 // Created:     22.09.2003
 // RCS-ID:      $Id$
 // Copyright:   (c) 2003 Stefan Neis <Stefan.Neis@t-online.de>
-// Licence:     wxWidgets licence
+// Licence:     wxWindows licence
 ///////////////////////////////////////////////////////////////////////////////
 
 #ifndef _WX_OS2_APPTBASE_H_
@@ -27,6 +27,12 @@ public:
 
     // Clean up message queue.
     virtual void TerminateGui(unsigned long ulHab);
+#if wxUSE_SOCKETS
+    // returns the select()-based socket manager for console applications which
+    // is also used by some ports (wxX11, wxDFB) in the GUI build (hence it is
+    // here and not in wxConsoleAppTraits)
+    virtual wxSocketManager *GetSocketManager();
+#endif
 };
 
 #endif // _WX_OS2_APPTBASE_H_