Changeset 6d096f8af078a57e656457af75c0c80d0ee5afe4
- Timestamp:
- 02/24/09 17:13:04 (3 years ago)
- Author:
- Lincoln de Sousa <lincoln@…>
- Children:
- 66575e56afa7e0c37e4ed3237d2a234ee7595f46
- Parents:
- 6e7a465a714dfa3038e4278695b5ac2b7c8748a1
- git-author:
- SAWADA Takeo <g640287@…> (02/08/09 08:12:06)
- git-committer:
- Lincoln de Sousa <lincoln@…> (02/24/09 17:13:04)
- Message:
-
Fixing closing tab takes too long time
- Files:
-
Legend:
- Unmodified
- Added
- Removed
-
|
r6e7a465
|
r6d096f8
|
|
| 938 | 938 | forked by vte. |
| 939 | 939 | """ |
| | 940 | self.tabs.get_children()[pagepos].destroy() |
| 940 | 941 | self.notebook.remove_page(pagepos) |
| 941 | | self.tabs.get_children()[pagepos].destroy() |
| 942 | 942 | self.term_list.pop(pagepos).destroy() |
| 943 | 943 | pid = self.pid_list.pop(pagepos) |
