Level.finish(true);
}
+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();
+}
+
function grow()
{
sector.Tux.add_bonus("grow");
sector.Tux.add_bonus("fireflower");
}
+function ice()
+{
+ sector.Tux.add_bonus("iceflower");
+}
+
function shrink()
{
sector.Tux.add_bonus("none");