# HG changeset patch
# User Stefano Rivera <stefano@rivera.za.net>
# Date 1316290051 -7200
# Node ID 38175efa97bedbebcae2f1ba0ee0d9dd14fe060f
# Parent  4986c22fe5fdb17899851bf577706f85398945a5
Pretty unicode arrows

diff -r 4986c22fe5fd -r 38175efa97be mamba/habitats/levelmenu.py
--- a/mamba/habitats/levelmenu.py	Sat Sep 17 22:00:26 2011 +0200
+++ b/mamba/habitats/levelmenu.py	Sat Sep 17 22:07:31 2011 +0200
@@ -29,11 +29,11 @@
         self.grid_container = GridContainer(width=self.WIDTH)
         self.container.add(self.grid_container)
 
-        self.prev_button = TextButton((50, 550), "<-")
+        self.prev_button = TextButton((50, 550), u"\N{LEFTWARDS ARROW}")
         self.prev_button.add_callback('clicked', self.change_page, -1)
         self.container.add(self.prev_button)
 
-        self.next_button = TextButton((700, 550), "->")
+        self.next_button = TextButton((700, 550), u"\N{RIGHTWARDS ARROW}")
         self.next_button.add_callback('clicked', self.change_page, 1)
         self.container.add(self.next_button)