diff -r 2bbec88047dd -r 2161475d9639 eric6/WebBrowser/ClosedTabsManager.py
--- a/eric6/WebBrowser/ClosedTabsManager.py Wed Apr 21 19:40:50 2021 +0200
+++ b/eric6/WebBrowser/ClosedTabsManager.py Thu Apr 22 18:02:47 2021 +0200
@@ -84,10 +84,12 @@
@param index index of the tab to return (integer)
@return requested tab (ClosedTab)
"""
- if len(self.__closedTabs) > 0 and len(self.__closedTabs) > index:
- tab = self.__closedTabs.pop(index)
- else:
- tab = ClosedTab()
+ tab = (
+ self.__closedTabs.pop(index)
+ if (len(self.__closedTabs) > 0 and
+ len(self.__closedTabs) > index) else
+ ClosedTab()
+ )
self.closedTabAvailable.emit(len(self.__closedTabs) > 0)
return tab
