X-Git-Url: https://git.saurik.com/wxWidgets.git/blobdiff_plain/8907154c1a8a6882c6797d1f16393ddfb23e7f3a..9804c4d95c3c8abb492e24f5f7e989016fee53f1:/include/wx/motif/timer.h

diff --git a/include/wx/motif/timer.h b/include/wx/motif/timer.h
index cc64203cce..add463502d 100644
--- a/include/wx/motif/timer.h
+++ b/include/wx/motif/timer.h
@@ -1,12 +1,12 @@
 /////////////////////////////////////////////////////////////////////////////
-// Name:        timer.h
+// Name:        wx/motif/timer.h
 // Purpose:     wxTimer class
 // Author:      Julian Smart
 // Modified by:
 // Created:     17/09/98
 // RCS-ID:      $Id$
 // Copyright:   (c) Julian Smart
-// Licence:   	wxWindows licence
+// Licence:     wxWindows licence
 /////////////////////////////////////////////////////////////////////////////
 
 #ifndef _WX_TIMER_H_
@@ -15,23 +15,23 @@
 class WXDLLEXPORT wxTimer : public wxTimerBase
 {
     friend void wxTimerCallback(wxTimer * timer);
-    
+
 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();
-    
+
     virtual bool IsRunning() const { return m_id != 0; }
-    
+
 protected:
     void Init();
-    
+
     long m_id;
-    
+
 private:
     DECLARE_DYNAMIC_CLASS(wxTimer)
 };