--- a/tools/area_editor.py	Sat Sep 07 19:57:58 2013 +0200
+++ b/tools/area_editor.py	Sat Sep 07 19:59:30 2013 +0200
@@ -361,8 +361,15 @@
             self.add(hintlabel)
             y += 30
         if self.poly_field:
-            y += 20
-            button = Button('Use Polygon 6', action=self.get_poly)
+            y += 40
+            label = Label("Polygon to use:")
+            label.rect = pygame.rect.Rect(40, y, 200, 25)
+            self.add(label)
+            self.poly_choice = TextField()
+            self.poly_choice.rect = pygame.Rect(280, y, 400, 25)
+            self.add(self.poly_choice)
+            y += 30
+            button = Button('Use Polygon X', action=self.get_poly)
             button.rect = pygame.rect.Rect(350, y, 250, 30)
             self.add(button)
         buttons = []
@@ -379,7 +386,11 @@
 
     def get_poly(self):
         try:
-            data = self.level_widget.level.polygons[6][:]
+            try:
+                index = int(self.poly_choice.get_text())
+            except TypeError:
+                index = 0
+            data = self.level_widget.level.polygons[index][:]
         except KeyError:
             data = []
         if data: