-renamed ViewPort to Camera
[supertux.git] / src / timer.h
index b12d32e..734c896 100644 (file)
@@ -27,6 +27,7 @@ unsigned int st_get_ticks(void);
 void st_pause_ticks_init(void);
 void st_pause_ticks_start(void);
 void st_pause_ticks_stop(void);
+bool st_pause_ticks_started(void);
 
 class Timer
 {
@@ -36,6 +37,8 @@ class Timer
   unsigned int (*get_ticks) (void);  
 
  public:
+  Timer();
+  
   void init(bool st_ticks);
   void start(unsigned int period);
   void stop();