# HG changeset patch
# User Stefano Rivera <stefano@rivera.za.net>
# Date 1316297951 -7200
# Node ID 5f26ba2402ccbd5a260ba77ce3d60ad9138915d2
# Parent  0ccdcc970ae243b518273ae9a6db09b5cf70112d
Pretty unicode arrows

diff -r 0ccdcc970ae2 -r 5f26ba2402cc mamba/widgets/toollist.py
--- a/mamba/widgets/toollist.py	Sun Sep 18 00:18:07 2011 +0200
+++ b/mamba/widgets/toollist.py	Sun Sep 18 00:19:11 2011 +0200
@@ -40,13 +40,14 @@
                 key += 1
             button_height += widget.rect.height + self.padding
         if not self.prev_but:
-            self.prev_but = TextButton((button_left, button_height), 'Prev')
+            self.prev_but = TextButton((button_left, button_height),
+                                       u'\N{LEFTWARDS ARROW}')
             self.prev_but.add_callback('clicked', self.change_page, -1)
         else:
             self.prev_but.rect.top = max(button_height, self.prev_but.rect.top)
         if not self.next_but:
             self.next_but = TextButton((button_left + 100, button_height),
-                    'Next')
+                    u'\N{RIGHTWARDS ARROW}')
             self.next_but.add_callback('clicked', self.change_page, 1)
         else:
             self.next_but.rect.top = max(button_height, self.next_but.rect.top)