Ignore _remove_tab for crashed deleted tabs

This commit is contained in:
Florian Bruhin 2017-06-26 20:50:17 +02:00
parent 24caaea54d
commit 92d5f6c41d

View File

@ -273,6 +273,8 @@ class TabbedBrowser(tabwidget.TabWidget):
""" """
idx = self.indexOf(tab) idx = self.indexOf(tab)
if idx == -1: if idx == -1:
if crashed:
return
raise TabDeletedError("tab {} is not contained in " raise TabDeletedError("tab {} is not contained in "
"TabbedWidget!".format(tab)) "TabbedWidget!".format(tab))
if tab is self._now_focused: if tab is self._now_focused: