Ticket #145: clock.h.patch

File clock.h.patch, 1.1 kB (added by draqo, 2 years ago)
  • gnugo/engine/clock.h

    RCS file: /sources/gnugo/gnugo/engine/clock.h,v
    retrieving revision 1.15
    diff -u -r1.15 clock.h
     
    2626#include "gnugo.h" 
    2727 
    2828/* initialization and activation */ 
    29 void clock_settings(int maintime, int byotime, int byostones); 
     29inline void clock_settings(int maintime, int byotime, int byostones); 
    3030void init_timers(void); 
    3131  
    3232/* main access */ 
    3333void clock_push_button(int color); 
    3434void update_time_left(int color, int time_left, int stones); 
    3535void clock_print(int color); 
    36 int have_time_settings(void); 
     36inline int have_time_settings(void); 
    3737 
    3838void adjust_level_offset(int color); 
    3939 
    4040/* Access to level settings. */ 
    41 int get_level(void); 
    42 void set_level(int new_level); 
    43 void set_max_level(int new_max); 
    44 void set_min_level(int new_min); 
     41inline int get_level(void); 
     42inline void set_level(int new_level); 
     43inline void set_max_level(int new_max); 
     44inline void set_min_level(int new_min); 
    4545 
    4646 
    4747#endif  /* _CLOCK_H_ */