From e8ef0413636ee655876177ea73d94cd71985690b Mon Sep 17 00:00:00 2001
From: Brian Jordan <bcjordan@gmail.com>
Date: Sun, 21 Jun 2009 19:10:39 +0000
Subject: Use sugar's default font size

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

diff --git a/pippy_app.py b/pippy_app.py
index bd54ae2..f019520 100644
--- a/pippy_app.py
+++ b/pippy_app.py
@@ -37,6 +37,8 @@ from dbus.gobject_service import ExportedGObject
 from activity import ViewSourceActivity, TARGET_TYPE_TEXT
 from sugar.activity.activity import ActivityToolbox, \
      get_bundle_path, get_bundle_name
+from sugar.graphics import style
+
 from sugar.presence import presenceservice
 
 from sugar.presence.tubeconn import TubeConnection
@@ -144,7 +146,8 @@ 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 " + str(font_zoom(8))))
+        self.text_view.modify_font(pango.FontDescription("Monospace " + 
+            str(font_zoom(style.FONT_SIZE))))
 
         # We could change the color theme here, if we want to.
         #mgr = gtksourceview2.style_manager_get_default()
@@ -191,7 +194,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 ' + str(font_zoom(8))
+        font = 'Monospace ' + str(font_zoom(style.FONT_SIZE))
         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