new battle gui

locale/ui_en.properties

@@ -1,11 +1,6 @@
 mod_tools_name = Tools
 mod_tools_desc = Development tools
 
-tools/title = Tools
-tools/select_tool = Select a tool:
-tools/launch = Launch
-tools/close = Close
-
 tools/light_editor/title = Light Editor
 tools/light_editor/background = Background
 tools/light_editor/static_lights = Static lights (max. 10)