Use wxUSE_* flags for new animation code.

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

diff --git a/include/wx/os2/mdi.h b/include/wx/os2/mdi.h
index 79d653544f93bf0c011efd13ff8a6682c319f7c9..7bea970db99dd2ef8a18aea8cb2191cb69a35818 100644 (file)
--- a/include/wx/os2/mdi.h
+++ b/include/wx/os2/mdi.h
@@ -8,7 +8,7 @@
 // Created:     10/10/99
 // RCS-ID:      $Id$
 // Copyright:   (c) David Webster
 // Created:     10/10/99
 // RCS-ID:      $Id$
 // Copyright:   (c) David Webster

-// Licence:     wxWidgets licence
+// Licence:     wxWindows licence

 /////////////////////////////////////////////////////////////////////////////
 
 #ifndef _WX_MDI_H_
 /////////////////////////////////////////////////////////////////////////////
 
 #ifndef _WX_MDI_H_


@@ -38,7 +38,7 @@ public:
       Create(parent, id, title, pos, size, style, name);
   }
 
       Create(parent, id, title, pos, size, style, name);
   }
 

-  ~wxMDIParentFrame();
+  virtual ~wxMDIParentFrame();

 
   bool Create(wxWindow *parent,
            wxWindowID id,
 
   bool Create(wxWindow *parent,
            wxWindowID id,


@@ -120,7 +120,7 @@ public:
       Create(parent, id, title, pos, size, style, name);
   }
 
       Create(parent, id, title, pos, size, style, name);
   }
 

-  ~wxMDIChildFrame();
+  virtual ~wxMDIChildFrame();

 
   bool Create(wxMDIParentFrame *parent,
            wxWindowID id,
 
   bool Create(wxMDIParentFrame *parent,
            wxWindowID id,