wxBORDER_THEME now means 'use an appropriate themed border' on all plaforms

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

diff --git a/include/wx/motif/minifram.h b/include/wx/motif/minifram.h
index cbe4f632691621726934299c86c491b951c01d12..a649a04740a85f2821f86ef6e26cdeafb819681e 100644 (file)
--- a/include/wx/motif/minifram.h
+++ b/include/wx/motif/minifram.h
@@ -1,5 +1,5 @@
 /////////////////////////////////////////////////////////////////////////////
-// Name:        minifram.h
+// Name:        wx/motif/minifram.h
 // Purpose:     wxMiniFrame class. A small frame for e.g. floating toolbars.
 //              If there is no equivalent on your platform, just make it a
 //              normal frame.
@@ -8,22 +8,18 @@
 // Created:     17/09/98
 // RCS-ID:      $Id$
 // Copyright:   (c) Julian Smart
-// Licence:    wxWindows licence
+// Licence:     wxWindows licence
 /////////////////////////////////////////////////////////////////////////////
 
 #ifndef _WX_MINIFRAM_H_
 #define _WX_MINIFRAM_H_
 
-#ifdef __GNUG__
-#pragma interface "minifram.h"
-#endif
-
 #include "wx/frame.h"
 
 class WXDLLEXPORT wxMiniFrame: public wxFrame {
-    
+
     DECLARE_DYNAMIC_CLASS(wxMiniFrame)
-        
+
 public:
     inline wxMiniFrame() {}
     inline wxMiniFrame(wxWindow *parent,
@@ -37,8 +33,8 @@ public:
         // Use wxFrame constructor in absence of more specific code.
         Create(parent, id, title, pos, size, style, name);
     }
-    
-    ~wxMiniFrame() {}
+
+    virtual ~wxMiniFrame() {}
 protected:
 };