Sat, 27 Feb 2021 12:08:23 +0100

Detlev Offenbach <>
Sat, 27 Feb 2021 12:08:23 +0100
changeset 8138
parent 7923
child 8207

Shell: added functionality to show a prompt when the main client process has exited (e.g. a script ended).

# -*- coding: utf-8 -*-

# Copyright (c) 2012 - 2021 Detlev Offenbach <>

Module implementing a class to manage closed tabs.

from PyQt5.QtCore import pyqtSignal, QUrl, QObject

class ClosedTab(object):
    Class implementing a structure to store data about a closed tab.
    def __init__(self, url=None, title="", position=-1):
        @param url URL of the closed tab (QUrl)
        @param title title of the closed tab (string)
        @param position index of the closed tab (integer)
        self.url = QUrl() if url is None else QUrl(url)
        self.title = title
        self.position = position
    def __eq__(self, other):
        Special method implementing the equality operator.
        @param other reference to the object to compare against (ClosedTab)
        @return flag indicating equality of the tabs (boolean)
        return (
            self.url == other.url and
            self.title == other.title and
            self.position == other.position

class ClosedTabsManager(QObject):
    Class implementing a manager for closed tabs.
    @signal closedTabAvailable(boolean) emitted to signal a change of
        availability of closed tabs
    closedTabAvailable = pyqtSignal(bool)
    def __init__(self, parent=None):
        @param parent reference to the parent object (QObject)
        super(ClosedTabsManager, self).__init__()
        self.__closedTabs = []
    def recordBrowser(self, browser, position):
        Public method to record the data of a browser about to be closed.
        @param browser reference to the browser to be closed (HelpBrowser)
        @param position index of the tab to be closed (integer)
        import WebBrowser.WebBrowserWindow
        if WebBrowser.WebBrowserWindow.WebBrowserWindow.isPrivate():
        if browser.url().isEmpty():
        tab = ClosedTab(browser.url(), browser.title(), position)
        self.__closedTabs.insert(0, tab)
    def getClosedTabAt(self, index):
        Public method to get the indexed closed tab.
        @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)
            tab = ClosedTab()
        self.closedTabAvailable.emit(len(self.__closedTabs) > 0)
        return tab
    def isClosedTabAvailable(self):
        Public method to check for closed tabs.
        @return flag indicating the availability of closed tab data (boolean)
        return len(self.__closedTabs) > 0
    def clearList(self):
        Public method to clear the list of closed tabs.
        self.__closedTabs = []
    def allClosedTabs(self):
        Public method to get a list of all closed tabs.
        @return list of closed tabs (list of ClosedTab)
        return self.__closedTabs

eric ide