+function edit()
+{
+ Level.edit(true);
+}
+
+function play()
+{
+ Level.edit(false);
+}
+
+function worldmapfinish()
+{
+ save_state();
+ foreach(levelname, level in state.worlds[state.world].levels) {
+ level.solved = true;
+ }
+ update_worldmap();
+}
+