diff options
| author | Eduardo Silva <edsiper@gmail.com> | 2007-10-27 13:03:15 (GMT) |
|---|---|---|
| committer | Eduardo Silva <edsiper@gmail.com> | 2007-10-27 13:03:15 (GMT) |
| commit | 6c46bface7e10557b72550dce21cbb11f222d58e (patch) | |
| tree | 333cc15c13e711573478c5f04d4aaa3410e1e927 /terminal.py | |
| parent | c3b7993432c9ece5f4eff379ce73585d9d91cfbd (diff) | |
Decrease font size
Diffstat (limited to 'terminal.py')
| -rw-r--r-- | terminal.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/terminal.py b/terminal.py index 9039f4d..0538c13 100644 --- a/terminal.py +++ b/terminal.py @@ -88,7 +88,7 @@ class Terminal(gtk.HBox): if conf.has_option('terminal', 'font'): font = conf.get('terminal', 'font') else: - font = 'Monospace 10' + font = 'Monospace 8' conf.set('terminal', 'font', font) self._vte.set_font(pango.FontDescription(font)) |