X-Git-Url: https://git.verplant.org/?a=blobdiff_plain;f=src%2Fgui%2Fmenu.hpp;h=55d97e216e8346c58eec28949ff438cddf58e967;hb=c62711567861587107d124642db29e2674ee6533;hp=0357c032a2c5259826c9de3dbeaf64d8fe14d587;hpb=07ddaed2a657e4d2a3d038fed223fc5827159caf;p=supertux.git

diff --git a/src/gui/menu.hpp b/src/gui/menu.hpp
index 0357c032a..55d97e216 100644
--- a/src/gui/menu.hpp
+++ b/src/gui/menu.hpp
@@ -133,7 +133,7 @@ private:
   /* input implementation variables */
   int delete_character;
   char mn_input_char;
-  Uint32 menu_repeat_ticks;
+  float menu_repeat_time;
 
 public:
   static Font* default_font;
@@ -193,7 +193,7 @@ protected:
 private:
   void check_controlfield_change_event(const SDL_Event& event);  
   void draw_item(DrawingContext& context, int index);
-  Uint32 effect_ticks;
+  float effect_time;
   int arrange_left;
   int active_item;