  
  const MenuItem&
 diff --git a/src/object/player.cpp b/src/object/player.cpp
-index d48d410..d2cb99c 100644
+index c59f763..9d4a237 100644
 --- a/src/object/player.cpp
 +++ b/src/object/player.cpp
 @@ -160,6 +160,7 @@ Player::Player(PlayerStatus* _player_status, const std::string& name_) :

     jump_button_timer.stop();
     if (duck) {
       // when running, only jump a little bit; else do a backflip
@@ -764,7 +774,7 @@ Player::handle_vertical_input()
 
 
   // Let go of jump key

   }
 
   glViewport(m_viewport.x, m_viewport.y, m_viewport.w, m_viewport.h);
@@ -286,102 +270,15 @@ GLRenderer::apply_config()
 void
 GLRenderer::apply_video_mode()
 {
