use gettimeofday() instead of clock_gettime() as the latter lives in librt which...

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

diff --git a/include/wx/x11/minifram.h b/include/wx/x11/minifram.h
index b7d4f89fa6cd6be537235d9c54df06b67f2ddc8a..6d33c4b8b8c981e52cc30a3731630a9eb92d8d17 100644 (file)
--- a/include/wx/x11/minifram.h
+++ b/include/wx/x11/minifram.h
@@ -1,5 +1,5 @@
 /////////////////////////////////////////////////////////////////////////////
-// Name:        minifram.h
+// Name:        wx/x11/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_
 
-#if defined(__GNUG__) && !defined(__APPLE__)
-#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,10 +33,10 @@ public:
         // Use wxFrame constructor in absence of more specific code.
         Create(parent, id, title, pos, size, style, name);
     }
-    
-    ~wxMiniFrame() {}
+
+    virtual ~wxMiniFrame() {}
 protected:
 };
 
 #endif
-// _WX_MINIFRAM_H_
+    // _WX_MINIFRAM_H_