changeset 513:5f26ba2402cc

Pretty unicode arrows
author Stefano Rivera <stefano@rivera.za.net>
date Sun, 18 Sep 2011 00:19:11 +0200
parents 0ccdcc970ae2
children 1409433aa005
files mamba/widgets/toollist.py
diffstat 1 files changed, 3 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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)