- /** Try to get the content out of a bonus box, thus emptying it */
- void tryemptybox(const Vector& pos, Direction col_side);
-
- /** Try to bumb a badguy that might we walking above Tux, thus shaking
- the tile which the badguy is walking on an killing him this way */
- void trybumpbadguy(const Vector& pos);
-
- /** Flip the all the sector vertically. The purpose of this is to let
- player to play the same level in a different way :) */
- void do_vertical_flip();
-
- /** Get end sequence animation */
- int end_sequence_animation()
- { return end_sequence_animation_type; }
-
- /** @evil@ */