Applied wxGauge:Pulse() patch.

[wxWidgets.git] / include / wx / mac / carbon / timer.h

diff --git a/include/wx/mac/carbon/timer.h b/include/wx/mac/carbon/timer.h
index 1d01ea91a494fcdb0a7043eda417d8df82427a0e..f9a5d79861f0e7f4006f13e3358d7db9b947fc7a 100644 (file)
--- a/include/wx/mac/carbon/timer.h
+++ b/include/wx/mac/carbon/timer.h
@@ -12,10 +12,6 @@
 #ifndef _WX_TIMER_H_
 #define _WX_TIMER_H_
 
-#if defined(__GNUG__) && !defined(NO_GCC_PRAGMA)
-#pragma interface "timer.h"
-#endif
-
 #include "wx/object.h"
 #include "wx/mac/macnotfy.h"
 
@@ -28,7 +24,7 @@ class WXDLLEXPORT wxTimer: public wxTimerBase
 public:
     wxTimer() { Init(); }
     wxTimer(wxEvtHandler *owner, int id = -1) : wxTimerBase(owner, id) { Init(); }
-    ~wxTimer();
+    virtual ~wxTimer();
 
     virtual bool Start(int milliseconds = -1,
                        bool one_shot = FALSE); // Start timer