fix menu width, didn't committ the tileset fix, miscelaneous small fixes

[supertux.git] / src / scripting / player.hpp

diff --git a/src/scripting/player.hpp b/src/scripting/player.hpp
index 5796524..033eb19 100644 (file)
--- a/src/scripting/player.hpp
+++ b/src/scripting/player.hpp
@@ -12,21 +12,15 @@ public:
   {}
 #endif
 
-#if 0
   /**
    * Set tux bonus.
    * This can be "grow", "fireflower" or "iceflower" at the moment
    */
   virtual void set_bonus(const std::string& bonus) = 0;
   /**
-   * Give tux another life
-   */
-  virtual void add_life() = 0;
-  /**
    * Give tux more coins
    */
   virtual void add_coins(int count) = 0;
-#endif
   /**
    * Make tux invicible for a short amount of time
    */