Better fix

[wxWidgets.git] / include / wx / palmos / timer.h

diff --git a/include/wx/palmos/timer.h b/include/wx/palmos/timer.h
index efdfa20361aac3dd717cd28fed7f5c1cf06e0d8c..cf9e490712304466191ff4354beedb1ced7c5310 100644 (file)
--- a/include/wx/palmos/timer.h
+++ b/include/wx/palmos/timer.h
@@ -12,11 +12,7 @@
 #ifndef _WX_TIMER_H_
 #define _WX_TIMER_H_
 
-#if defined(__GNUG__) && !defined(NO_GCC_PRAGMA)
-    #pragma interface "timer.h"
-#endif
-
-class WXDLLEXPORT wxTimer : public wxTimerBase
+class WXDLLIMPEXP_BASE wxTimer : public wxTimerBase
 {
 friend void wxProcessTimer(wxTimer& timer);
 
@@ -24,7 +20,7 @@ public:
     wxTimer() { Init(); }
     wxTimer(wxEvtHandler *owner, int id = -1) : wxTimerBase(owner, id)
         { Init(); }
-    ~wxTimer();
+    virtual ~wxTimer();
 
     virtual bool Start(int milliseconds = -1, bool oneShot = FALSE);
     virtual void Stop();