diff options
author | root <root@ghunt-desktop.(none)> | 2011-01-03 18:03:11 (GMT) |
---|---|---|
committer | root <root@ghunt-desktop.(none)> | 2011-01-03 18:03:11 (GMT) |
commit | 9534219347377bb89a10373b44840ac01c7e5f1a (patch) | |
tree | fc78aa702c71cb0a40701a9c104ea743278ab884 /terminal.py | |
parent | cc286621aa93502fba569fc2d1c3a29e3200286e (diff) |
additional help, ver 7 announced
Diffstat (limited to 'terminal.py')
-rw-r--r-- | terminal.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/terminal.py b/terminal.py index 773d430..be502c1 100644 --- a/terminal.py +++ b/terminal.py @@ -49,6 +49,7 @@ class Terminal: self._create_tab({'cwd':self.activity_playpen}) #start the debugger user interface + #12/2010 note: tried threads again, very confusing results, disable for !st release #alias_cmd = 'alias go="%s/bin/ipython.py -gthread"\n'%(self.sugar_bundle_path,) go_cmd = _('go') alias_cmd = 'alias %s="%s/bin/ipython.py "\n'%(go_cmd,self.sugar_bundle_path,) @@ -105,7 +106,8 @@ class Terminal: for i in range(self.terminal_notebook.get_n_pages()): if self.terminal_notebook.get_nth_page(i).vt == vt: label = self.terminal_notebook.get_nth_page(i).label - label.set_text(vt.get_window_title()) + title = vt.get_window_title() + label.set_text(title[title.rfind('/') + 1:]) return def _drag_data_received_cb(self, widget, context, x, y, selection, target, time): |