X-Git-Url: https://git.verplant.org/?a=blobdiff_plain;ds=sidebyside;f=src%2Fobject%2Fplayer.hpp;h=91a1fcfc5020e83afc48f8cfc430a2026da5da59;hb=555d1b7bebb45326d82d934e07463209837309b0;hp=d76d21ac22304433d10d6caf8317a4b00d856155;hpb=0469a50d835efcb32a065f4e01f61fe5732a976e;p=supertux.git

diff --git a/src/object/player.hpp b/src/object/player.hpp
index d76d21ac2..91a1fcfc5 100644
--- a/src/object/player.hpp
+++ b/src/object/player.hpp
@@ -86,6 +86,7 @@ public:
   bool on_ground_flag;
   bool jumping;
   bool can_jump;
+  Timer jump_button_timer; /**< started when player presses the jump button; runs until Tux jumps or JUMP_GRACE_TIME runs out */
   bool wants_buttjump;
   bool does_buttjump;