From a52f0df4d9db1d78522eca1135696a9ab0f0a463 Mon Sep 17 00:00:00 2001
From: Neil <neil@dip.sun.ac.za>
Date: Thu, 18 Apr 2013 00:05:15 +0200
Subject: [PATCH] Better tool names

---
 erdslangetjie/editor/editor.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/erdslangetjie/editor/editor.py b/erdslangetjie/editor/editor.py
index 2e2c0bc..f2bf09b 100644
--- a/erdslangetjie/editor/editor.py
+++ b/erdslangetjie/editor/editor.py
@@ -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:
-- 
2.34.1