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 2e0e85010f9472bef591ec2261c48bb811ae012d..953da997c6b6249b3f90620b669fe939d7c09412 100644 (file)
--- a/include/wx/stubs/timer.h
+++ b/include/wx/stubs/timer.h
@@ -31,15 +31,15 @@ public:
     virtual void Notify() = 0;                 // Override this member
 
     // Returns the current interval time (0 if stop)
     virtual void Notify() = 0;                 // Override this member
 
     // Returns the current interval time (0 if stop)

-    int Interval() const { return milli; }; 
-    bool OneShot() const { return oneShot; }
+    int Interval() const { return m_milli; }; 
+    bool OneShot() const { return m_oneShot; }

 
 protected:
 
 protected:

-    bool oneShot ;
-    int  milli ;
-    int  lastMilli ;
+    bool m_oneShot ;
+    int  m_milli ;
+    int  m_lastMilli ;

 
 

-    long id;
+    long m_id;

 
 private:
     DECLARE_ABSTRACT_CLASS(wxTimer)
 
 private:
     DECLARE_ABSTRACT_CLASS(wxTimer)