Rewrote wxNotebook, incl. PAGE_CHANGING event

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

diff --git a/include/wx/stubs/timer.h b/include/wx/stubs/timer.h
index 22fa2eed598f7370b359e73fc0728ae91fd79477..953da997c6b6249b3f90620b669fe939d7c09412 100644 (file)
--- a/include/wx/stubs/timer.h
+++ b/include/wx/stubs/timer.h
@@ -20,22 +20,29 @@
 
 class WXDLLEXPORT wxTimer: public wxObject
 {
-  DECLARE_DYNAMIC_CLASS(wxTimer)
+public:
+    wxTimer();
+    ~wxTimer();
 
- public:
-  wxTimer();
-  ~wxTimer();
-  virtual bool Start(int milliseconds = -1,bool one_shot = FALSE); // Start timer
-  virtual void Stop();                   // Stop timer
-  virtual void Notify() = 0;             // Override this member
-  inline int Interval() { return m_milli ; }; // Returns the current interval time (0 if stop)
+    virtual bool Start(int milliseconds = -1,
+                       bool one_shot = FALSE); // Start timer
+    virtual void Stop();                       // Stop timer
+
+    virtual void Notify() = 0;                 // Override this member
+
+    // Returns the current interval time (0 if stop)
+    int Interval() const { return m_milli; }; 
+    bool OneShot() const { return m_oneShot; }
 
 protected:
-  bool      m_oneShot ;
-  int       m_milli ;
-  int       m_lastMilli ;
-  long      m_id;
+    bool m_oneShot ;
+    int  m_milli ;
+    int  m_lastMilli ;
+
+    long m_id;
 
+private:
+    DECLARE_ABSTRACT_CLASS(wxTimer)
 };
 
 /* Note: these are implemented in common/timercmn.cpp, so need to implement them separately.