Changeset 2d18e1b6fb53ac8a1ea498e80b756b46bd4bc26a
- Timestamp:
- 02/25/09 18:20:03 (3 years ago)
- Author:
- Lincoln de Sousa <lincoln@…>
- Children:
- 6c3eebceaa423859e02677bd655b19aaa0f77242
- Parents:
- e7a19eed07ed6e0b459e69bf7e4e6678ea372e32
- git-committer:
- Lincoln de Sousa <lincoln@…> (02/25/09 18:20:03)
- Message:
-
Fixing a scope problem
Caused by a "fix" made by me in a patch...
- Files:
-
Legend:
- Unmodified
- Added
- Removed
-
|
re7a19ee
|
r2d18e1b
|
|
| 913 | 913 | box.show() |
| 914 | 914 | |
| 915 | | pagenum = self.notebook.page_num(box) |
| 916 | 915 | last_added = len(self.term_list) |
| 917 | 916 | self.term_list.append(box.terminal) |
| … |
… |
|
| 929 | 928 | bnt.set_property('draw-indicator', False) |
| 930 | 929 | bnt.connect('button-press-event', self.show_tab_menu) |
| 931 | | bnt.connect('clicked', lambda *x: |
| 932 | | self.notebook.set_current_page(pagenum)) |
| | 930 | bnt.connect('clicked', |
| | 931 | lambda *x: self.notebook.set_current_page( |
| | 932 | self.notebook.page_num(box) |
| | 933 | )) |
| 933 | 934 | bnt.show() |
| 934 | 935 | |
| … |
… |
|
| 937 | 938 | |
| 938 | 939 | self.notebook.append_page(box, None) |
| 939 | | self.notebook.set_current_page(last_added) |
| | 940 | self.notebook.set_current_page(self.notebook.page_num(box)) |
| 940 | 941 | self.load_config() |
| 941 | 942 | |
