Teleportation in editor

mario/visitors/mario_visitor.hpp

@@ -136,6 +136,9 @@ public:
     void setTeleportLevel(const std::string &level) {
         teleport_level = level;
     }
+    bool teleportBottom() {
+        return teleport_bottom;
+    }
 
 private:
     bool onGround = false;
@@ -165,6 +168,7 @@ private:
     bool _death = false;
     bool _instant_death = false;
     std::string teleport_level = "";
+    bool teleport_bottom = false;
 };
 
 #endif