diff gamelib/widgets.py @ 351:837728b3cbf4

Switch to DejaVuSansMono, which has less licencing issues than chintzy
author Stefano Rivera <stefano@rivera.za.net>
date Sat, 28 Aug 2010 15:39:39 +0200
parents 3476e8f3b100
children 92cc50d7ce7a
line wrap: on
line diff
--- a/gamelib/widgets.py	Sat Aug 28 15:31:45 2010 +0200
+++ b/gamelib/widgets.py	Sat Aug 28 15:39:39 2010 +0200
@@ -68,7 +68,7 @@
         self.bg_color = (127, 127, 127)
         self.fg_color = (0, 0, 0)
         if style == "JIM":
-            self.set(font=get_font(20, "chintzy.ttf"))
+            self.set(font=get_font(20, "DejaVuSansMono.ttf"))
             self.bg_color = Color(255, 127, 127, 207)
             self.fg_color = (0, 0, 0)
             self.border_color = (127, 0, 0)