diff options
author | Eduardo Silva <edsiper@tuto.(none)> | 2007-01-05 20:01:29 (GMT) |
---|---|---|
committer | Eduardo Silva <edsiper@tuto.(none)> | 2007-01-05 20:01:29 (GMT) |
commit | 74e407f9ff72249ca9d597ccb58d64de1922cd52 (patch) | |
tree | 3468b6cb43e9caba674359ef677a0efa8b1b211d | |
parent | 62f5c2e239145e73309f2f9cfcf5358b34ec8843 (diff) |
[devconsole] - Scrollback terminal buffer set to 1000, font size to 8
-rw-r--r-- | shell/console/interface/terminal/terminal.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/shell/console/interface/terminal/terminal.py b/shell/console/interface/terminal/terminal.py index 86481ce..3621fb2 100644 --- a/shell/console/interface/terminal/terminal.py +++ b/shell/console/interface/terminal/terminal.py @@ -51,6 +51,7 @@ class Terminal(gtk.HBox): conf = ConfigParser.ConfigParser() conf_file = os.path.join(sugar.env.get_profile_path(), 'terminalrc') + if os.path.isfile(conf_file): f = open(conf_file, 'r') conf.readfp(f) @@ -61,7 +62,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)) @@ -97,8 +98,9 @@ class Terminal(gtk.HBox): if conf.has_option('terminal', 'scrollback_lines'): scrollback_lines = conf.getint('terminal', 'scrollback_lines') else: - scrollback_lines = 100 + scrollback_lines = 1000 conf.set('terminal', 'scrollback_lines', scrollback_lines) + self._vte.set_scrollback_lines(scrollback_lines) self._vte.set_allow_bold(True) |