From 04551cfc2cef2182f7c3298abe468d85cf867ba7 Mon Sep 17 00:00:00 2001
From: Brian Jordan <bcjordan@gmail.com>
Date: Sun, 21 Jun 2009 16:37:06 +0000
Subject: Changed font size to 10, Soas-only.

---
diff --git a/NEWS b/NEWS
index ff3d44d..bf54e4e 100644
--- a/NEWS
+++ b/NEWS
@@ -1,3 +1,7 @@
+32 (Soas-only release)
+* Trac #607 (SugarLabs), Font size needs to be 10 for Soas
+    (font size of 8 recommended for XO-1 users)
+
 31
 
 * Trac #350 (SugarLabs), Python path set improperly
diff --git a/pippy_app.py b/pippy_app.py
index e745729..2b0569b 100644
--- a/pippy_app.py
+++ b/pippy_app.py
@@ -143,7 +143,7 @@ class PippyActivity(ViewSourceActivity):
         self.text_view.set_cursor_visible(True)
         self.text_view.set_show_line_numbers(True)
         self.text_view.set_wrap_mode(gtk.WRAP_CHAR)
-        self.text_view.modify_font(pango.FontDescription("Monospace 8"))
+        self.text_view.modify_font(pango.FontDescription("Monospace 10"))
 
         # We could change the color theme here, if we want to.
         #mgr = gtksourceview2.style_manager_get_default()
@@ -190,7 +190,7 @@ class PippyActivity(ViewSourceActivity):
         self._vte.set_encoding('utf-8')
         self._vte.set_size(30, 5)
         self._vte.set_size_request(200, 300)
-        font = 'Monospace 8'
+        font = 'Monospace 10'
         self._vte.set_font(pango.FontDescription(font))
         self._vte.set_colors(gtk.gdk.color_parse ('#000000'),
                              gtk.gdk.color_parse ('#E7E7E7'),
--
cgit v0.9.1