Better tool names
authorNeil <neil@dip.sun.ac.za>
Wed, 17 Apr 2013 22:05:15 +0000 (00:05 +0200)
committerNeil <neil@dip.sun.ac.za>
Wed, 17 Apr 2013 22:05:15 +0000 (00:05 +0200)
erdslangetjie/editor/editor.py

index 2e2c0bc92f0f6c475398fb254f9563be174b76a1..f2bf09b9d12e1afc071ebcebf914933a35a7149d 100644 (file)
@@ -76,7 +76,7 @@ class EditorWindow(FloatLayout):
             self.remove_widget(widget)
         self.tool_widgets = []
         y = 300
-        for tool in ['wall', 'floor', 'entrance', 'exit']:
+        for tool in ['wall', 'floor', 'add entrance', 'add exit']:
             if self.tool == tool:
                 color = '00cccc'
             else: