From f0f464546f4f826ab08b8aef0f9ca0355e6d7134 Mon Sep 17 00:00:00 2001
From: Brian Jordan <brian@laptop.org>
Date: Mon, 03 Nov 2008 16:38:47 +0000
Subject: Trac #6323: Pippy's terminal and code editor font sizes are too big

---
(limited to 'pippy_app.py')

diff --git a/pippy_app.py b/pippy_app.py
index fb4a6df..73b8cd1 100644
--- a/pippy_app.py
+++ b/pippy_app.py
@@ -137,7 +137,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 10"))
+        self.text_view.modify_font(pango.FontDescription("Monospace 8"))
 
         # We could change the color theme here, if we want to.
         #mgr = gtksourceview2.style_manager_get_default()
@@ -184,7 +184,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 10'
+        font = 'Monospace 8'
         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