From 60f20c2d37e4ac74dba8fbe309d7920b4cc02ea6 Mon Sep 17 00:00:00 2001
From: Brian Jordan <bcjordan@gmail.com>
Date: Sun, 21 Jun 2009 18:31:54 +0000
Subject: Font sizes to ensure 0.82 and 0.84 compatibility

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

diff --git a/pippy_app.py b/pippy_app.py
index 2b0569b..bd54ae2 100644
--- a/pippy_app.py
+++ b/pippy_app.py
@@ -28,6 +28,7 @@ import re, os, os.path
 import gobject
 import time
 
+from port.style import font_zoom
 from signal import SIGTERM
 from gettext import gettext as _
 from dbus.service import method, signal
@@ -143,7 +144,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 " + str(font_zoom(8))))
 
         # We could change the color theme here, if we want to.
         #mgr = gtksourceview2.style_manager_get_default()
@@ -190,7 +191,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 ' + str(font_zoom(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