diff options
Diffstat (limited to 'pippy_app.py')
| -rw-r--r-- | pippy_app.py | 5 |
1 files changed, 3 insertions, 2 deletions
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'), |