cherry-pick #1198 fix for 3.0.5

This makes a hotfix for https://bugs.launchpad.net/ubuntu/+source/guake/+bug/1760621
in Ubuntu 18.04 LTS (and possibly others).

GitHub PR #1490
This commit is contained in:
Maxim Ivanov 2019-04-03 11:51:31 +03:00
parent 525b134e8e
commit 84e7332921

View File

@ -1417,7 +1417,7 @@ class Guake(SimpleGladeApp):
log.debug("Terminal exited: %s", term)
if libutempter is not None:
libutempter.utempter_remove_record(term.get_pty())
self.delete_tab(self.notebook.page_num(widget), kill=False, prompt=False)
self.delete_tab(self.notebook.page_num(widget), kill=False, prompt=False)
def recompute_tabs_titles(self):
"""Updates labels on all tabs. This is required when `self.abbreviate`