--- a/tools/area_editor.py	Mon Sep 02 15:04:42 2013 +0200
+++ b/tools/area_editor.py	Mon Sep 02 15:24:21 2013 +0200
@@ -166,8 +166,6 @@
             self.change_poly(None)
         elif ev.key == pgl.K_d and self.cur_poly:
             self.level.delete_point(self.cur_poly)
-        elif ev.key == pgl.K_s:
-            level.save()
         elif ev.key == pgl.K_f:
             if level.all_closed():
                 self.cur_poly = None
@@ -233,6 +231,12 @@
         self.add(end_poly_but)
         y += MENU_BUTTON_HEIGHT + MENU_PAD
 
+        save_but = Button('Save Level', action=self.save)
+        save_but.rect = pygame.rect.Rect(0, 0, MENU_WIDTH, MENU_BUTTON_HEIGHT)
+        save_but.rect.move_ip(MENU_LEFT, y)
+        self.add(save_but)
+        y += MENU_BUTTON_HEIGHT + MENU_PAD
+
         quit_but = Button('Quit', action=self.quit)
         quit_but.rect = pygame.rect.Rect(0, 0, MENU_WIDTH, MENU_BUTTON_HEIGHT)
         quit_but.rect.move_ip(MENU_LEFT, y)
@@ -241,9 +245,14 @@
     def key_down(self, ev):
         if ev.key == pgl.K_ESCAPE:
             self.quit()
+        elif ev.key == pgl.K_s:
+            self.save()
         else:
             self.level_widget.key_down(ev)
 
+    def save(self):
+        level.save()
+
     def mouse_move(self, ev):
         self.level_widget.mouse_move(ev)