added wxUSE_ACTIVEX which depends on wxUSE_VARIANT and which wxUSE_MEDIACTRL depends...

[wxWidgets.git] / include / wx / x11 / minifram.h

diff --git a/include/wx/x11/minifram.h b/include/wx/x11/minifram.h
index dcfb2d3173d654094a7e59d194de23d4d44b3828..92b641c9966865dea39e82c75a135a56f98502f2 100644 (file)
--- a/include/wx/x11/minifram.h
+++ b/include/wx/x11/minifram.h
@@ -14,10 +14,6 @@
 #ifndef _WX_MINIFRAM_H_
 #define _WX_MINIFRAM_H_
 
-#if defined(__GNUG__) && !defined(NO_GCC_PRAGMA)
-#pragma interface "minifram.h"
-#endif
-
 #include "wx/frame.h"
 
 class WXDLLEXPORT wxMiniFrame: public wxFrame {
@@ -38,7 +34,7 @@ public:
         Create(parent, id, title, pos, size, style, name);
     }
     
-    ~wxMiniFrame() {}
+    virtual ~wxMiniFrame() {}
 protected:
 };