# HG changeset patch
# User Jeremy Thurgood <firxen@gmail.com>
# Date 1316290941 -7200
# Node ID 90a59251c93b5da4e04c970a0d0f9eb439511881
# Parent  3f37e011c3b6f93f3d4c7c4691d25f391e5dbe7a
Sort tools in level editor.

diff -r 3f37e011c3b6 -r 90a59251c93b mamba/widgets/toollist.py
--- a/mamba/widgets/toollist.py	Sat Sep 17 22:12:16 2011 +0200
+++ b/mamba/widgets/toollist.py	Sat Sep 17 22:22:21 2011 +0200
@@ -9,6 +9,7 @@
 
     def __init__(self, rect, widget_list, page_length, start_key=K_1,
             padding=2):
+        widget_list.sort(key=lambda w: w.text)
         self.widget_list = widget_list
         self.page_length = page_length
         self.padding = padding