Changeset e4e1371fe0d8b500cef2c1dc67d20d838c4a1ef2
- Timestamp:
- 06/03/08 03:16:31 (4 years ago)
- Author:
- Lincoln de Sousa <lincoln@…>
- Children:
- 123dc068d13dfc1f734e60c5c226bd72e33b42ad
- Parents:
- 937756028fc7ba368d5666e286014a8c30c62ada
- git-author:
- Gabriel Falcao <root@…> (05/28/08 06:03:53)
- git-committer:
- Lincoln de Sousa <lincoln@…> (06/03/08 03:16:31)
- Message:
-
Fixing bug #3 with a modified version of SteveD's patch
- Files:
-
Legend:
- Unmodified
- Added
- Removed
-
|
r268dbf8
|
re4e1371
|
|
| 2 | 2 | |
| 3 | 3 | * src/guake.py: Applied patch from SteveD <dashdot@f-m.fm> that fixes the |
| 4 | | bug of scrollbars, ticket #3. |
| | 4 | bug of scrollbars, ticket #1. |
| | 5 | * src/guake.py: Applied a modificated version of SteveD's patch for |
| | 6 | "infinite VTEs" bug, reported in ticket #3, |
| 5 | 7 | |
| 6 | 8 | 2007-11-26 Lincoln de Sousa <lincoln@minaslivre.org> |
-
|
r9377560
|
re4e1371
|
|
| 675 | 675 | |
| 676 | 676 | def on_close_button_close_clicked(self, widget, index): |
| 677 | | self.delete_tab(self.notebook.page_num(self.term_list[index])) |
| | 677 | self.term_list[index].fork_command("bash", "exit") |
| 678 | 678 | self.set_terminal_focus() |
| 679 | 679 | |
| … |
… |
|
| 752 | 752 | |
| 753 | 753 | def delete_tab(self, pagepos): |
| 754 | | self.term_list.pop(pagepos) |
| 755 | 754 | self.notebook.remove_page(pagepos) |
| | 755 | self.clear_old_terms() |
| 756 | 756 | self.set_tabs_visible() |
| 757 | 757 | if not self.term_list: |
| … |
… |
|
| 771 | 771 | self.last_pos = page_num |
| 772 | 772 | |
| | 773 | def clear_old_terms(self): |
| | 774 | for term in reversed(self.term_list): |
| | 775 | term_page = term.get_parent() |
| | 776 | if self.notebook.page_num(term_page) == -1: |
| | 777 | self.term_list.remove(term) |
| | 778 | del term |
| 773 | 779 | |
| 774 | 780 | def main(): |
