From 28401b1da4c2ccb247a7309bced54039bf67602a Mon Sep 17 00:00:00 2001
From: SAWADA Takeo <g640287@mail.ecc.u-tokyo.ac.jp>
Date: Sun, 8 Feb 2009 17:12:06 +0900
Subject: [PATCH] Fixing closing tab takes too long time
---
src/guake.py | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/src/guake.py b/src/guake.py
index abc8a33..1b26435 100644
|
a
|
b
|
|
| 918 | 918 | tab widgets and will call the function to kill interpreter |
| 919 | 919 | forked by vte. |
| 920 | 920 | """ |
| 921 | | self.notebook.remove_page(pagepos) |
| 922 | 921 | self.tabs.get_children()[pagepos].destroy() |
| | 922 | self.notebook.remove_page(pagepos) |
| 923 | 923 | self.term_list.pop(pagepos).destroy() |
| 924 | 924 | pid = self.pid_list.pop(pagepos) |
| 925 | 925 | |
