diff options
| author | Sayamindu Dasgupta <sayamindu@gmail.com> | 2008-06-05 14:02:15 (GMT) |
|---|---|---|
| committer | Sayamindu Dasgupta <sayamindu@gmail.com> | 2008-06-05 14:02:15 (GMT) |
| commit | bc8ff30a60612cb0d4f3971fecb014eafc17d308 (patch) | |
| tree | d4fb3649d03428d169f65a9c02fe97f1d7fd50aa | |
| parent | b6f3d4fbac66ac25a457a7a85c04a6d777445aae (diff) | |
Make the activity exit when the user exits the shell. Fixes dlo#5520
| -rw-r--r-- | terminal.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/terminal.py b/terminal.py index 78e1d44..d239bc5 100644 --- a/terminal.py +++ b/terminal.py @@ -73,6 +73,7 @@ class TerminalActivity(activity.Activity): self._vte = VTE() self._vte.set_scroll_on_keystroke(True) + self._vte.connect("child-exited", lambda term: self.close()) self._vte.show() scrollbar = gtk.VScrollbar(self._vte.get_adjustment()) @@ -113,7 +114,6 @@ class VTE(vte.Terminal): def __init__(self): vte.Terminal.__init__(self) self._configure_vte() - self.connect("child-exited", lambda term: term.fork_command()) os.chdir(os.environ["HOME"]) self.fork_command() |