use wxEventType coherently with the docs

[wxWidgets.git] / interface / wx / mdi.h

diff --git a/interface/wx/mdi.h b/interface/wx/mdi.h
index dbb43f994baa7dd8d4ff9032e9588afd7b713329..0729f366f5e0d2bf090ba5cac62e75885daa53cd 100644 (file)
--- a/interface/wx/mdi.h
+++ b/interface/wx/mdi.h
@@ -234,14 +234,14 @@ public:
         If there are any children at all this function returns a non-@NULL
         pointer.
     */
-    wxMDIChildFrame* GetActiveChild() const;
+    virtual wxMDIChildFrame* GetActiveChild() const;
 
     /**
         Returns a pointer to the client window.
 
         @see OnCreateClient()
     */
-    wxWindow *GetClientWindow() const;
+    wxMDIClientWindowBase* GetClientWindow() const;
 
     /**
         Returns the current MDI Window menu.
@@ -315,7 +315,7 @@ public:
         @param menu
             The menu to be used instead of the standard MDI Window menu or @NULL.
     */
-    void SetWindowMenu(wxMenu *menu);
+    virtual void SetWindowMenu(wxMenu* menu);
 
     /**
         Tiles the MDI child windows either horizontally or vertically depending