Changeset 51ef8cf314ec718f98a2bd061bb87e07e016ca83
- Timestamp:
- 08/09/08 23:33:04 (3 years ago)
- Author:
- Gabriel Falcão <gabriel@…>
- Children:
- 4c8944440c82436fa740b18e66a68b0ee3429670
- Parents:
- e6dae82944bac93fea8b662b483b77e46dc8df62
- git-committer:
- Gabriel Falcão <gabriel@…> (08/09/08 23:33:04)
- Message:
-
Faster guake show after hidden by tab fault
- Files:
-
Legend:
- Unmodified
- Added
- Removed
-
|
re6dae82
|
r51ef8cf
|
|
| 2 | 2 | |
| 3 | 3 | * po/pt_BR.po: Fixing a little semantic error. |
| | 4 | * src/guake.py: on delete_tab(), pre-adding a new tab when all tabs get |
| | 5 | closed, it improves the speed of new guake show request |
| 4 | 6 | |
| 5 | 7 | 2008-08-07 Gabriel Falcão <gabriel@nacaolivre.org> |
-
|
r494bc7f
|
r51ef8cf
|
|
| 1161 | 1161 | if not self.term_list: |
| 1162 | 1162 | self.hide() |
| | 1163 | # avoiding the delay on next Guake show request |
| | 1164 | self.add_tab() |
| 1163 | 1165 | |
| 1164 | 1166 | def delete_shell(self, pid): |