diff options
| author | Brian Jordan <brian@laptop.org> | 2008-11-03 16:38:47 (GMT) |
|---|---|---|
| committer | Brian Jordan <brian@laptop.org> | 2008-11-03 16:38:47 (GMT) |
| commit | f0f464546f4f826ab08b8aef0f9ca0355e6d7134 (patch) | |
| tree | 587841a1964eb962bf239b0018b20ef51e76bac2 | |
| parent | 37622b8d30ee9b016f85f12abf00214a97ac8619 (diff) | |
Trac #6323: Pippy's terminal and code editor font sizes are too big
| -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 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'), |