diff options
| author | Eduardo Silva <edsiper@tuto.(none)> | 2007-01-04 02:51:08 (GMT) |
|---|---|---|
| committer | Eduardo Silva <edsiper@tuto.(none)> | 2007-01-04 02:51:08 (GMT) |
| commit | 3dd0def247c966f87bef9630fc8a978177782a15 (patch) | |
| tree | 4e0c825b718975f20513d9fcf79a6953b8a68912 /shell/console/interface/terminal/terminal.py | |
| parent | e28a1b27ee6cb527b7ede0a244cf5990f7e50568 (diff) | |
[dev-console] - Interfaces fixed: memphis, logviewer
Diffstat (limited to 'shell/console/interface/terminal/terminal.py')
| -rw-r--r-- | shell/console/interface/terminal/terminal.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/shell/console/interface/terminal/terminal.py b/shell/console/interface/terminal/terminal.py index e30489f..242adc9 100644 --- a/shell/console/interface/terminal/terminal.py +++ b/shell/console/interface/terminal/terminal.py @@ -149,7 +149,11 @@ class Multiple: def __init__(self): self.notebook = gtk.Notebook() - self.add_new_terminal() + t_width = gtk.gdk.screen_width() + t_height = gtk.gdk.screen_height() * 83 / 100 + self.notebook.set_size_request(t_width, t_height) + + self.add_new_terminal() open_terminal = gtk.Button('Open a new terminal') open_terminal.connect("clicked", self.add_new_terminal) |