X-Git-Url: https://git.saurik.com/wxWidgets.git/blobdiff_plain/ae3c17b4013e80b99976c750c19fca47729517f6..2a8312bced9d3f3415383a79a15cad2acf447b7e:/interface/wx/timer.h

diff --git a/interface/wx/timer.h b/interface/wx/timer.h
index 49de74c8ef..7ad902a658 100644
--- a/interface/wx/timer.h
+++ b/interface/wx/timer.h
@@ -8,7 +8,6 @@
 
 /**
     @class wxTimer
-    @wxheader{timer.h}
 
     The wxTimer class allows you to execute code at specified intervals. Its
     precision is platform-dependent, but in general will not be better than 1ms nor
@@ -54,7 +53,7 @@ public:
     /**
         Destructor. Stops the timer if it is running.
     */
-    ~wxTimer();
+    virtual ~wxTimer();
 
     /**
         Returns the ID of the events generated by this timer.
@@ -89,7 +88,7 @@ public:
         used and SetOwner() wasn't called.
         Perform whatever action which is to be taken periodically here.
     */
-    void Notify();
+    virtual void Notify();
 
     /**
         Associates the timer with the given @a owner object. When the timer is
@@ -118,19 +117,18 @@ public:
         If the timer was already running, it will be stopped by this method before
         restarting it.
     */
-    bool Start(int milliseconds = -1, bool oneShot = false);
+    virtual bool Start(int milliseconds = -1, bool oneShot = false);
 
     /**
         Stops the timer.
     */
-    void Stop();
+    virtual void Stop();
 };
 
 
 
 /**
     @class wxTimerEvent
-    @wxheader{timer.h}
 
     wxTimerEvent object is passed to the event handler of timer events.