added wxWindow::IsDoubleBuffered() and improve wxBufferedDC (patch 1565330)

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

diff --git a/include/wx/cocoa/timer.h b/include/wx/cocoa/timer.h
index 626a85635a2bd9248a9a6c4297a1de297349376c..fb1677a97748d8129df96046aa69d85b57bf94a4 100644 (file)
--- a/include/wx/cocoa/timer.h
+++ b/include/wx/cocoa/timer.h
@@ -25,7 +25,7 @@ public:
     wxTimer() { Init(); }
     wxTimer(wxEvtHandler *owner, int timerid = -1) : wxTimerBase(owner, timerid)
         { Init(); }
-    ~wxTimer();
+    virtual ~wxTimer();
 
     virtual bool Start(int millisecs = -1, bool oneShot = false);
     virtual void Stop();