diff options
author | Brian Jordan <bcjordan@gmail.com> | 2009-06-21 16:37:06 (GMT) |
---|---|---|
committer | Brian Jordan <bcjordan@gmail.com> | 2009-06-21 16:37:06 (GMT) |
commit | 04551cfc2cef2182f7c3298abe468d85cf867ba7 (patch) | |
tree | e90e078c95e34b8e2fa195e68ac41df5e90b461f /pippy_app.py | |
parent | eea37a738fcd64ab2b95603d1c4d09054b676b2f (diff) |
Changed font size to 10, Soas-only.
Diffstat (limited to 'pippy_app.py')
-rw-r--r-- | pippy_app.py | 4 |
1 files changed, 2 insertions, 2 deletions
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'), |